> On 16 Sep 2016, at 19:19, David Matthews <david.matth...@prolingua.co.uk>
> 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".
polyml mailing list