[racket] Compiling programs with embedded procedures

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Dec 26 17:39:40 EST 2010

At Sun, 26 Dec 2010 17:31:23 -0500, Eric Dobson wrote:
> I am trying to understand how the expansion/compilation process deals
> with embedding procedures in the syntax of a program, and I have now
> constructed a program that returns different values when run in
> drracket, and racket. It also does not compile for me using raco make.
> I was wondering what people think the correct value it should produce
> is, or if it is invalid as raco make would suggest.

We've so far stopped short of having the expander reject 3-D syntax
(i.e., syntax that embeds values that aren't `read'able), but I think
that's just because we haven't yet fixed all old uses of it. 3-D syntax
doesn't work in general and you should avoid it.

Posted on the users mailing list.