ML front end

[Stephen Weeks]

> 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.