[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