[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