16 Sep
2016
16 Sep
'16
8:18 p.m.
David,
On 16 Sep 2016, at 19:19, David Matthews <David.Matthews at 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.