Email list hosting service & mailing list manager


Re: syntactic tower? Andre van Tonder 01 Dec 2005 15:02 UTC

 Matthew Flatt wrote:

 > At Wed, 30 Nov 2005 14:55:11 -0500 (EST), Andre van Tonder wrote:
 > > It does not seem to distinguish the
 > > meta-phases that occur when LET-SYNTAX is nested,
 >
 > I really should have caught this omission!
 >
 > I'll work on this and get back to you. I'm not yet sure what the
 > resolution will be.

 It is a tricky problem.  I might point out that the module proposal
 I have up at:

   http://www.het.brown.edu/people/andre/macros/index.htm

 contains a reasonably comprehensive specification of one possible
 resolution to just this issue, as well as a working prototype, that is
 very similar in other respects to the current SRFI.

 It is, of course, based on your published work, but handles the syntactic
 tower issue similarly to Scheme48, which can nest FOR-SYNTAX
 statements to effect imports into an arbitrary level.  I suspect Chez can
 do something similar with nested METAs, as your coauthor will be able to
 confirm or deny.

 Regards
 Andre

------------- End Forwarded Message -------------