At Sat, 15 Jun 2002 02:07:43 +0000, Paul Graunke wrote:
> (display "hi dave")
> is really something like
> (#%module-begin (#%app display (#%datum "hi dave")))
`#%module-begin' is only for moudle bodies, but the #%app part is
right.
> so you need to export some #% funny things if you want
> function application and constants in your language.
In particular, the `on-execute' method should initialize the namespace
with wahetever top-level bindings you need.
If your tool produced
#'(display "hi dave")
instead of
'(display "hi dave")
then it would likely[*] work without any namespace initialization,
because the returned syntax wouldn't have the top-level context, and
then wouldn't need any top-level bindings.
Matthew
[*] Depends, in general, on the context of the #'(diplsy "hi dave"),
but it seems likely that it would be in the context of mzscheme
bindings, and therefore ok in the execution namespace.