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