> 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?



polyml mailing list

Reply via email to