[racket-dev] generate-temporaries and #%top

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Wed Jul 10 15:40:52 EDT 2013

I'm having trouble with some of the features of define-generics in
top-level contexts.  Specifically, if I generate any names with
generate-temporaries, and there are forward references to them in the
expanded code, then the forward reference fails to expand because #%top is
not bound in the context of the temporary name.  This problem doesn't come
up in module or lexical bindings because all the definitions are bound, not
using #%top, by the time the forward reference is expanded.

So are generate-temporaries identifiers simply dangerous to use for
anything that might wind up at the top level?  Or is there a smarter way to
use them that I'm missing?

Carl Eastlund
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130710/3ff77737/attachment.html>

Posted on the dev mailing list.