[MLton] cvs commit: new front end

[Stephen Weeks]

> I would vote for keeping :> and push the sharing and opacity back to the
> roots of the problems.  Although accepting more programs than we should
> with : might appear more benign, I think it is the wrong upgrade path.

You are right of course.  I was speaking too much out of frustration
of making all those annoying changes to BASIS_2002.

> I guess the final question is whether or not we need any magic in
> BASIS_2002 -- that is, whether or not there really is a valid SML program
> where we can get all the opacity and sharing correct to match the Basis
> specification.

I think we don't need any magic.  We just need some :> earlier in the
basis implementation so that the where types don't expose anything.