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
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to