[MLton] MLton HOL
Wed, 2 Jun 2004 02:07:33 +0100 (BST)
On Mon, 31 May 2004, Stephen Weeks wrote:
> We have a regexp library written in SML that is part of the MLton
> sources. It's pretty complete, able to do most of POSIX 1003.2. So,
> one way to go would be to put a wrapper around that to make it look
> like Regex. Another possibility would be to use MLton's FFI to
> implement Regex as in Moscow ML.
I asked the developers about the call to Regex, and apparently it can
easily be removed. So now I have a 437185 line SML program that passes
the parse/elaborate phase of MLton but fails in the back end. I've put
the whole thing up at
if you'd like to test your improvements on a huge, real program.