16 Sep
2016
16 Sep
'16
7:19 p.m.
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