On Thu, 17 Sep 2009, Brian Mastenbrook wrote: > On Sep 17, 2009, at 6:02 AM, Andre van Tonder wrote: > >> Again, as I have said many times and even explained with examples, I am not >> contesting the visibility rules at the toplevel for macros. In the >> following >> toplevel sequence typed at a REPL >> >> (m) >> (define-syntax m (syntax-rules ((_) .....))) >> >> I /agree/ that M is lexically VISIBLE in the first line. >> But I /disagree/ that M should yet be bound to the macro when the first >> line >> is expanded. > > The R6RS two-pass rules agree with you.
No, it does not agree with me. In the R6RS toplevel this will expand fine. Andre _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
