Re: [Chicken-janitors] #1441: Macro keywords unexpectedly match against imported identifiers

[Chicken Trac]

#1441: Macro keywords unexpectedly match against imported identifiers
-------------------------------------+-------------------------------------
            Reporter:  sjamaan       |      Owner:  sjamaan
                Type:  defect        |     Status:  new
            Priority:  major         |  Milestone:  4.14.0
           Component:  expander      |    Version:  4.13.0
          Resolution:                |   Keywords:  hygiene, syntax-rules,
Estimated difficulty:  hard          |  capture
-------------------------------------+-------------------------------------

Comment (by sjamaan):

 Simplified case:

 {{{
 (module undef (undefined)
   (import scheme)
   (define undefined 1))

 (module expando (do-it)
   (import scheme)
   (define-syntax do-it
     (syntax-rules ()
       ((_)
        (let-syntax ((final
                      (syntax-rules ()
                        ((_ ?x) ?x))))
          (final undefined))))))

 (import undef expando)
 ;; Should fail, not print 1, because the let-syntax expansion should
 rename introduced
 ;; identifiers from its SE (but input should be looked up here)
 (print (do-it))
 }}}

--
Ticket URL: <https://bugs.call-cc.org/ticket/1441#comment:5>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.