On 2012-11-15, at 5:07 AM, Álvaro Castro-Castilla alvaro.castro.castilla@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