[MLton] can mlbasis rename the top-level?

[Ray Racine]

Meta- can be circular.  SML towers...

Consider SML' as ScriptML using Steven's byte code SML interpreter.
ScriptML just happens to look an awful lot SML and is well suited for
fairly powerful build/make scripts.

The tower then becomes
 SML'
 |-> MLB
      |-> SML

It was just an odd thought ...

On Wed, 2005-09-07 at 22:15 -0400, Matthew Fluet wrote:
> Also, semantically, MLB really lives "above" SML; just like the Module 
> language is layered on the Core language, the MLB language is layered on 
> the Module language.
> 
> Quote/AntiQuote is a convenient mechanism for using SML as the 
> meta-language for an embedded object-language, but the "meta-" is 
> important there.  There is no inherent semantics given to the 
> object-language.  Such is not the case with the relationship between MLB 
> and SML.