[bug #63507] Hygienic macro renaming loses original name in macro-expaneded output

[Taylor R. Campbell]

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

                 Summary: Hygienic macro renaming loses original name in
macro-expaneded output
                 Project: MIT/GNU Scheme
               Submitter: riastradh
               Submitted: Sun 11 Dec 2022 12:25:43 PM UTC
                Category: runtime
                Severity: 2 - Minor
                Priority: 5 - Normal
              Item Group: Suboptimal behavior
                  Status: None
                 Privacy: Public
             Assigned to: cph
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                Keywords: 


    _______________________________________________________

Follow-up Comments:


-------------------------------------------------------
Date: Sun 11 Dec 2022 12:25:43 PM UTC By: Taylor R. Campbell <riastradh>
(pp (syntax
     '(let ()
        (define-syntax foo
          (syntax-rules ()
            ((foo x)
             (let ((t x))
               t))))
        (foo 123))
     (nearest-repl/environment)))
(let ()
  (let ((|G3400| 123))
    |G3400|))

Expected something more like:

(let ()
  (let ((.t.9817324 123))
    .t.9817324))

even if we're not doing a clever minimal alpha-substitution that keeps the
numbers small.







    _______________________________________________________

Reply to this item at:

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

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