Re: [Chicken-janitors] #944: Macro-renamed definitions in begin bodies don't get seen by later forms (but only in modules)

[Chicken Trac]

#944: Macro-renamed definitions in begin bodies don't get seen by later forms
(but only in modules)
-----------------------+----------------------------------------------------
  Reporter:  sjamaan   |       Owner:  sjamaan                           
      Type:  defect    |      Status:  new                               
  Priority:  major     |   Milestone:  4.9.0                             
 Component:  expander  |     Version:  4.8.x                             
Resolution:            |    Keywords:  expander, macros, hygiene, modules
-----------------------+----------------------------------------------------

Comment(by megane):

 Replying to [comment:9 sjamaan]:

 > R5RS says: "Note that a define at top level may or may not introduce a
 binding; see section 5.2"

 I think it says there that it should create a binding if there doesn't
 exist one already.

 
http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-2.html#%_toc_%_sec_5.2.1

 So in the syntax-rules case it should create a binding because bar was not
 an argument to the macro and syntax-rules is supposed to be hygienic.

 AFAUI the original example works correctly at the toplevel, but not in
 modules, and the `syntax-rules` case works in modules, but not at the
 toplevel.

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/944#comment:12>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.