[MLton-user] bug report: vector equality

[Stephen Weeks]

> In other implementations such as NJ and the release version of mlton 
> this constraint is transparent, which means the eqtype is visible.

I view this as a bug in SML/NJ (and in MLton 20030716, which doesn't
even check that structures match signatures, so this is one of
innumerable bugs there).

> Actually, having another look at the latest code on the web, I can't see 
> any opaque constraints on Int32Vector...

The entire basis is matched opaquely here

http://cvs.mlton.org/cgi-bin/viewcvs.cgi/mlton/mlton/basis-library/libs/basis-2002/top-level/basis.sml?rev=HEAD&content-type=text/vnd.viewcvs-markup