Rank-2 polymorphism & type inference

Malcolm Wallace Malcolm.Wallace@cs.york.ac.uk
Wed, 6 Dec 2000 12:15:41 +0000

> 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