Re: [MLton-devel] [Sml-implementers] equality type variables in datatype declaration

[Henry C. <he...@so...>]

I remember being surprised in some test that the result of entering
	datatype ''a t = T of ''a
in SML/NJ returned
	datatype 'a t = T of 'a
(i.e., no indication that the type argument had to be an equality type).
Isn't this clearly wrong?  I.e., I am slightly confused by your uncertainty.