[MLton] [MLton-commit] r4460

Matthew Fluet fluet@cs.cornell.edu
Fri, 5 May 2006 11:48:24 -0400 (EDT)


>> Relaxing type sharing constraints; not working completely yet
>
> On a slightly related note, I've thought for a while, but never gotten
> around to it, that a better way to do the sharing would be to put the
> constraints at the point Basis is opaquely constrained by BASIS rather
> than as part of the BASIS signature itself.

Why would this be different/better?