Re: [GHC] #7766: equality constraints exposed by patterns mess up constraint inference

On 3/13/13, Simon Peyton-Jones wrote:

You probably need do { (case .... of ...) :: IO () ; return () }

It's not a bug, in other words. The "modular type inference with local constraints" paper is a good reference here.

Great, that was the trick! Thanks again, Gabor

Simon