David, > On 16 Sep 2016, at 19:19, David Matthews <david.matth...@prolingua.co.uk> > wrote: > > I've checked hamlet and mlton and they both reject it so I think in this case > Poly/ML is right and SML/NJ is wrong. I can't point to the bit of the > definition that says that, though.
It's in Appendix C: "Of [the type names listed in the initial static basis] all except exn and real admit equality". Regards, Rob. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml