[bug #63438] Macro hygiene is broken

[Taylor R. Campbell]

URL:
  <https://savannah.gnu.org/bugs/?63438>

                 Summary: Macro hygiene is broken
                 Project: MIT/GNU Scheme
               Submitter: riastradh
               Submitted: Tue 29 Nov 2022 02:41:59 AM UTC
                Category: runtime
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Incorrect behavior
                  Status: None
                 Privacy: Public
             Assigned to: cph
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                Keywords: 


    _______________________________________________________

Follow-up Comments:


-------------------------------------------------------
Date: Tue 29 Nov 2022 02:41:59 AM UTC By: Taylor R. Campbell <riastradh>
(define-syntax foo
  (syntax-rules ()
    ((foo 0)
     (foo 1 (x)))
    ((foo 1 (x0))
     (foo 2 (x0 x)))
    ((foo 2 (x0 x1))
     (lambda (x0 x1) (list x0 x1)))))
;Value: foo

(foo 0)
;duplicate parameters (.x.1-0) in (.x.1-0 .x.1-0)

The identifiers `x' generated by distinct macro invocation should not collide,
but they do.







    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?63438>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/