On 16/09/2016 16:12, Tjark Weber wrote:
Is the following behavior (of Poly/ML 5.6) intended?
> datatype ''a t = C of ''a;
datatype 'a t = C of ''b
I'll look at the printing here. There was a change in 5.5 that seems to
have broken it.
Moreover, Poly/ML rejects a following
> C 1.0;
while SML/NJ accepts it.
I've checked hamlet and mlton and they both reject it so I think in this
case Poly/ML is right and SML/NJ is wrong. I can't point to the bit of
the definition that says that, though.
polyml mailing list