GNU logs - #73984, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#73984: Compiler/interpreter doesn't handle the macro defined after it's used
Resent-From: Artyom Bologov <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Thu, 24 Oct 2024 12:47:01 +0000
Resent-Message-ID: <handler.73984.B.17297739645664 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 73984 <at> debbugs.gnu.org
From: Artyom Bologov <mail@HIDDEN>
Date: Thu, 24 Oct 2024 16:45:11 +0400
Message-ID: <87bjz9mzzc.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="=-=-="
Received-SPF: none client-ip=178.21.23.139; envelope-from=mail@HIDDEN;
 helo=layka.disroot.org
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001,
 SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

--=-=-=
Content-Type: text/plain

Hello y'all,

So I'm working on a project with a moderate amount of macros and some
tangled code paths. Which often means I have non-linear and
hard-to-figure-out inter-dependencies between pieces of code. One of
them bit me today: a macro that was defined after a procedure it was
used in, resulted in an "Unbound variable" error when the procedure was
called. The procedure was called long after the macro was finally
defined, so it shouldn't have been a problem. Find the test file
attached and use it as:

```
GUILE_LOAD_PATH=.:$GUILE_LOAD_PATH guile
scheme@(guile-user)> (use-modules (test))
;;; note: source file ./test.scm
;;;       newer than compiled /.../test.scm.go
;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
;;;       or pass the --no-auto-compile argument to disable.
;;; compiling ./test.scm
;;; test.scm:7:5: warning: possibly unbound variable `a'
;;; test.scm:8:5: warning: possibly unbound variable `b'
;;; compiled /.../test.scm.go
scheme@(guile-user)> (testing)
;; ice-9/boot-9.scm:1685:16: In procedure raise-exception:
;; Unbound variable: a
;; ...
```

--=-=-=
Content-Type: text/plain
Content-Disposition: attachment; filename=test.scm
Content-Description: Scheme file to test forward definition problem

(define-module (test)
  #:export-syntax (with-something)
  #:export (testing))

(define (testing)
  (with-something
   ((a 1)
    (b a))
   'hello))

(define-syntax-rule (with-something ((var init) ...) body ...)
  (let* ((var init) ...)
    (begin body ...)
    #t))

--=-=-=
Content-Type: text/plain

The expected behavior is that both "a" and "b" are defined and macro
expanded during compilation, regardless of whether it was defined before
or after use.

I'm not sure if that's a valid bug, but here you go anyway.

Best of love,
-- 
Artyom Bologov
https://aartaka.me

--=-=-=--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Artyom Bologov <mail@HIDDEN>
Subject: bug#73984: Acknowledgement (Compiler/interpreter doesn't handle
 the macro defined after it's used)
Message-ID: <handler.73984.B.17297739645664.ack <at> debbugs.gnu.org>
References: <87bjz9mzzc.fsf@HIDDEN>
X-Gnu-PR-Message: ack 73984
X-Gnu-PR-Package: guile
Reply-To: 73984 <at> debbugs.gnu.org
Date: Thu, 24 Oct 2024 12:47:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 73984 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
73984: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D73984
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#73984: Compiler/interpreter doesn't handle the macro defined after it's used
Resent-From: "Thompson, David" <dthompson2@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Thu, 24 Oct 2024 14:52:02 +0000
Resent-Message-ID: <handler.73984.B73984.172978148830840 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Artyom Bologov <mail@HIDDEN>
Cc: 73984 <at> debbugs.gnu.org
MIME-Version: 1.0
References: <87bjz9mzzc.fsf@HIDDEN>
In-Reply-To: <87bjz9mzzc.fsf@HIDDEN>
From: "Thompson, David" <dthompson2@HIDDEN>
Date: Thu, 24 Oct 2024 10:49:36 -0400
Message-ID: <CAJ=Rwfa9mFjzrG-NdJogw6EQdu2XdWvNKWL4MPXDzdjc7WLkdg@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi Artyom,

On Thu, Oct 24, 2024 at 8:47=E2=80=AFAM Artyom Bologov <mail@HIDDEN> wr=
ote:
>
> Hello y'all,
>
> So I'm working on a project with a moderate amount of macros and some
> tangled code paths. Which often means I have non-linear and
> hard-to-figure-out inter-dependencies between pieces of code. One of
> them bit me today: a macro that was defined after a procedure it was
> used in, resulted in an "Unbound variable" error when the procedure was
> called. The procedure was called long after the macro was finally
> defined, so it shouldn't have been a problem.

I don't think this is a bug. In my experience, macro definitions must
precede uses.

- Dave

Message sent to bug-guile@HIDDEN:

Subject: bug#73984: Compiler/interpreter doesn't handle the macro defined after it's used
Resent-From: Artyom Bologov <mail@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Thu, 24 Oct 2024 15:14:01 +0000
Resent-Message-ID: <handler.73984.B73984.17297828372441 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: "Thompson, David" <dthompson2@HIDDEN>
Cc: 73984 <at> debbugs.gnu.org
From: Artyom Bologov <mail@HIDDEN>
In-Reply-To: <CAJ=Rwfa9mFjzrG-NdJogw6EQdu2XdWvNKWL4MPXDzdjc7WLkdg@HIDDEN>
 (David Thompson's message of "Thu, 24 Oct 2024 10:49:36 -0400")
References: <87bjz9mzzc.fsf@HIDDEN>
 <CAJ=Rwfa9mFjzrG-NdJogw6EQdu2XdWvNKWL4MPXDzdjc7WLkdg@HIDDEN>
Date: Thu, 24 Oct 2024 19:13:10 +0400
Message-ID: <8734klilfd.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hi David,

> I don't think this is a bug. In my experience, macro definitions must
> precede uses.

This is a sane answer too!

Thanks,
-- 
Artyom Bologov
https://aartaka.me

Last modified: Sun, 12 Jan 2025 05:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.