[gambit-list] Current situation of macro systems in Gambit

Marc Feeley feeley at iro.umontreal.ca
Tue Dec 18 16:56:33 EST 2012


On 2012-11-15, at 5:07 AM, Álvaro Castro-Castilla <alvaro.castro.castilla at gmail.com> wrote:

> Thanks for your replies.
> Some months ago, there was a very interesting propopsal by Per, which was motivated by the conversations Mikael and I had with him regarding Blackhole. His position was that with a simple addition to Gambit's code, benefits for the define-macro system would be huge, effectively achieving hygiene. But it must be done in 
> My issues with blackhole were not related to macro systems, but issues with finer compilation workflow control.
> 
> Marc, how hard would be to implement this? (by you or someone with no prior knowledge of Gambit's internals)

It is not clear to me what are all of the implications of the aliasing forms proposed.  I'm worried that the auto-aliasing will generate new names for variables which will confuse the user when debugging the code.  That's one of the problems with Gambit's implementation of syntax-case.

Marc




More information about the Gambit-list mailing list