ML front end
Stephen Weeks
MLton@sourcelight.com
Tue, 1 May 2001 09:47:12 -0700 (PDT)
> I don't know if you saw it, but Matthias Blume posted (in comp.compilers)
> that he is working on separating the front end (parser, type checker and
> elaborator) from SML/NJ and turning it into a library.
Based on no other knowledge than your statement and his post, I am willing to
claim to things.
1. The front end will not be written in SML.
2. The front end will not typecheck SML.
Other than that, it should be great.