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


_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to