[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: syntactic tower?

This page is part of the web mail archives of SRFI 83 from before July 7th, 2015. The new archives for SRFI 83 contain all messages, not just those from before July 7th, 2015.

 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:
 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.  

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