[MLton-user] bug report: vector equality

[Stephen Weeks]

> It would be nice if mlton supported the NJ withtype extensions. Having 
> to inline lots of types makes some code very hard to read.

We have no plans to support those at this time.  To maintain
readability, my recommendation is to rewrite the withtypes as
datatypes, not to inline the types, which I agree is bad.  For
example, you can rewrite

signature S =
   sig
      datatype t = T of u
      withtype u = t * t
   end

as

signature S =
   sig
      datatype t = T of u
      and u = U of t * t
   end

> BTW, SML.NET compile times seem to be around 3-4 times faster when 
> SML.NET is compiled under mlton as compared with NJ (110.44).

Glad to hear it.