[MLton] [MLton-commit] r4460

Stephen Weeks MLton@mlton.org
Fri, 5 May 2006 08:42:42 -0700


> 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.