Array2 bug murder :)

[Stephen Weeks]

> I seem to have found a bug in Array2 in MLton.
> This code wouldn't typecheck (I got a Unify Con error):
...

> an array when it should have returned a vector.
...
> Is this a known bug or a new one? :)
> 
> I'm still using my modified version
> of 1999-7-12 (on native Linux).

That bug got fixed somewhere between 1999-7-12 and 20000906.  There were a lot
of basis library bugs fixed in that time period, especially type errors, because
I wrote a script that transforms the basis library sources so that they can be
run through the SML/NJ type checker.  So, if you switch to a later version, you
should hopefully never run into the situation again where you encounter a type
error in the basis library code.

Thanks for the bug report.