[Sml-implementers] equality type variables in datatype declaration

[Stephen W. <sw...@sw...>]

Should this program be accepted or rejected?

	datatype ''a t = T of ''a
	val _ = T 13.0

Here's what the various implementations say:

accept: Moscow ML, SML/NJ
reject: Hamlet, ML Kit, Poly/ML

I read the Definition to say reject, since the type scheme that is
built for T is All ''a. ''a -> ''a t, which does not generalize real
-> real t.