> On 16 Sep 2016, at 20:59, Bernard Berthomieu <bernard.berthom...@laas.fr>
> 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?
polyml mailing list