equality constraints exposed by patterns mess up constraint inference
When patterns bring (equality) constraints into scope, the inference mechanism for other (unrelated) constraints breaks down.
This is a new problem that appeared between
- ghc-7.7.20121025 and
I can try to track down the commit if that helps.
Testcase against HEAD attached.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information