[MLton-devel] Basis-2002 benchmarks

[Matthew Fluet]

> > I'd be anxious to test my stuff with the new basis library, but how does one
> > typecheck it?  You can't use MLton and I thought that SML/NJ was still using
> > the old basis.
> 
> I think they are.  So we need to create some stubs in SML/NJ.  It
> should be simple enough to extend the stubs in
> lib/mlton-stubs-in-smlnj to make SML/NJ's basis look (enough) like the
> new one.

If you check out the -r basis-2002 branch, you can use the updated
check-basis script, which now looks like:
check-basis [file.sml | file.cm]
which will type check the file (using SML/NJ) under the new basis.

Actually, to compile MLton under the new basis, I think I needed to change
exactly two lines in /lib/mlton/basic; everything else worked
transparently with the new basis.



-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel