> On 16 Sep 2016, at 20:59, Bernard Berthomieu <bernard.berthom...@laas.fr> > wrote: > > ... > I like the treatment of polyML :-), but I guess it is not standard: > > The "definition" (http://sml-family.org/sml97-defn.pdf) says, page 19: > "... In particular, the equality attribute has no significance in a bound > variable of a type function; for example ... " > > So, unless I'm mistaken, sml-nj is right. >
That's interesting. The text you quote is pretty clear, but how is it consistent with the static semantics of constructor bindings on p29, which I read as saying that in Tjark's example: datatype ''a t = C of ''a, C gets type ''a -> ''a t? Regards, Rob. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml