6 Dec
2000
6 Dec
'00
7:15 a.m.
The definitions of p and q differ only in the order of the components in the pair on their right-hand sides. And yet:
ghc and "Typing Haskell in Haskell" reject p, but accept q; Hugs rejects q, but accepts p; hbc rejects both p and q; nhc98 ... (Malcolm, can you fill in the blank for us!).
nhc98 rejects p and accepts q Regards, Malcolm