[MLton-devel] new basis library

[Stephen Weeks]

> I got a sed hack to work, and I extended the check-basis script to append
> an optional .sml or .cm file to the end of the basis to type-check that
> file under the basis.  This makes it easier to verify whether or not the
> right opaque signature matches are being observed.  The only thing I can't
> figure out is how to jettison SML/NJ's environment so that the program is
> check just under MLton's exported basis.

The only thing I can think of is to overwrite everything with useless
stuff before entering our basis code.

datatype t = T
type array = t
val length = T
structure Int = struct end
signature INT = sig end

etc.

> > > And, the above switch doesn't work for string constants used in
> > > pattern matches, but I didn't see any in my perusal of the basis
> > > library and they would be easy enough to desugar if need be.
> > 
> > I saw a few in system/path.sml.
> 
> I replaced the ones in date.sml.  There are some left in
> system/{file-sys.sml,path.sml} and posix/file-sys.sml.

I went ahead and got those.


-------------------------------------------------------
This sf.net email is sponsored by: Dice - The leading online job board
for high-tech professionals. Search and apply for tech jobs today!
http://seeker.dice.com/seeker.epl?rel_code=31
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel