type variable lexical syntax

Is the following really supposed to be acceptable? Both Poly/ML and mlton accept
it without complaining:

  datatype '+ = C | D;

(Moscow ML rejects it.  mlton and Poly/ML treat it as the declaration of a unary
type operator called +.)

and what about

  datatype '' foo = C | D;

Michael

------------------------------------------------------------------------------
Precog is a next-generation analytics platform capable of advanced
analytics on semi-structured data. The platform includes APIs for building
apps and a phenomenal toolset for data science. Developers can use
our toolset for easy data analysis & visualization. Get a free account!
http://www2.precog.com/precogplatform/slashdotnewsletter

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQEcBAEBAgAGBQJRdJMAAAoJEGKGQ6ej3R2RiSAH/3vsOkLCzgkRmuhM2HCKOYhg
ZB7FNTee899PUOwmdUzJrPVMs9ESnT3/I3KKk583cZe5fKhofK4tj9ulUD4LwgfD
OYK0RHlCgDBcH6uwihBVRyU77hd66COFzlvmYQV0YxkAQ5w1V6Mv+7G8lIqbRbm3
M6A3qYYsh12FWEaAJN71NtTSTlfA8OgNY5y+5GEbkfkSFUFVg99faBrFQ//j+wyw
xH8kqPHakP3+CeQHH8JNhVcWJehDgPcGLSo5Cf5ZamOxrTEMAyLW0Bs/5L7WBExB
weKbjmnRsfGXGXGJ3eCllsssZYPCoZtwzRF+pqYbVlcmirxb9xZv8yVIxkq3KIM=
=apjS
-----END PGP SIGNATURE-----