[MLton] caching elaboration

Matthew Fluet fluet@cs.cornell.edu
Mon, 16 Aug 2004 09:45:48 -0400 (EDT)


> So, my idea is for MLton, as it elaborates, to record the facts about
> the environment that it depends on, and then to save the world at some
> point during elaboration.

I'll note that the proposal seems to point towards a scheme where
elaboration prompts lexing/parsing.  That seems fine (and it will probably
make the lexer/parser for MLBs simpler), but it will change the behavior
of the compiler.  In particular, it will no longer be the case that
all elaboration type-errors will occur after all syntax errors.