On 16/09/2016 16:12, Tjark Weber wrote:
Hi,
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.
Regards,
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
