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 that triggers a bug in both versions :)

 {{{
 (module match-it (match-foo)
  (import scheme)

  (define-syntax match-foo
    (syntax-rules ()
      ((_ ?input)
       (let-syntax ((match-identifier
                     (syntax-rules (foo)
                       ((_ foo foo) #t)
                       ((_ foo ?whatever) 'mismatch)
                       ((_ ?whatever ?whatever) #f))))
         (match-identifier foo ?input))))))

 (module myfoo (foo)
   (import scheme)
   (define foo 1))

 (import match-it)
 (print (match-foo foo))

 (import myfoo)
 (print (match-foo foo))
 }}}

 Should print #t in both cases

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