[MLton] Is this really legal to allow?

[Henry Cejtin]

I   see   that   MLton   (both  the 20070826 version and the current SVN
version) consider the following to be legal:

    val x: char vector = "Is this legal?"

I know, of course, that in MLton CharVector.vector is just the same   as
char vector, but is it legal to make that visible?

The   argument   against   this   is  that  the resulting code certainly
won't be compiled by most ML compilers.