[polyml] Equality Type Parameter in Datatype Declaration

tjark.weber＠it.uu.se

16 Sep 2016 16 Sep '16

4:12 p.m.

Hi,

Is the following behavior (of Poly/ML 5.6) intended?

datatype ''a t = C of ''a;

datatype 'a t = C of ''b

Moreover, Poly/ML rejects a following

C 1.0;

while SML/NJ accepts it.

Best, Tjark