[MLton] can mlbasis rename the top-level?
Ray Racine
rracine@adelphia.net
Wed, 07 Sep 2005 17:51:00 -0400
Another wild thought.
One could invert ( subvert :) ) the whole process. Don't embed SML in
the MLB grammer, embed the MLB in SML. Use a similar approach to the
SML/NJ Quote/AntiQuote (shades of Scheme) solution where the backquote
is used to delimit quotations of MLB grammer within SML and is no longer
a valid symbol character. This deviation would only occur if a -mlb
flag is specified OR the mlton target file ends in the mlb extension.
Maybe even add and MLB.eval(some_mlb_expression) which allows one to
dynamically build an MLB.
http://www.smlnj.org/doc/quote.html
Ray