16 Sep
2016
16 Sep
'16
9:11 p.m.
On 16 Sep 2016, at 20:59, Bernard Berthomieu <Bernard.Berthomieu at 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.