[MLton] HOL on MLton

Joe Hurd joe.hurd@comlab.ox.ac.uk
Sun, 19 Oct 2003 20:10:19 +0100 (BST)


On Sun, 19 Oct 2003, Stephen Weeks wrote:

> If you make the program available on the web, I'll try to compile it
> on my machine with 4G of RAM.

OK, it's at

http://www.cl.cam.ac.uk/~jeh1004/psl1.sml

and I'm (currently) compiling with the invocation

mlton -basis 1997 -verbose 2 -exn-history true

I don't need the -exn-history, it's just there to help debug the
program.

Joe


_______________________________________________
MLton mailing list
MLton@mlton.org
http://www.mlton.org/mailman/listinfo/mlton