[plt-scheme] Let-syntax not transparent to top-level defines

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Mon Sep 2 22:04:41 EDT 2002

A short and overdue reply...

At 23 Aug 2002 13:00:06 EDT, Eric M. Kidd wrote:
> This would probably mean implementing something like BEGIN/LETREC-
> SYNTAXES+VALUES, which might range from trivial to insanely difficult, given 
> the compiler's architecture.
> 
> Does this even make sense? If so, is it remotely feasible? If it's
> feasible, is it actually a good idea?

You're isolated the problem fairly well: how to implement
`begin/letrec-syntaxes+values'.

I don't know how to implement it due to potential interactions with
`local-expand'. More accurately, I don't know how to specify a
`begin/letrec-syntaxes+values' and `local-expand' that play well
together.

I think the way to attack this problem is to try to get rid of
`local-expand', eventually.

Matthew




Posted on the users mailing list.