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

[Gabor Greif]

On 3/13/13, Simon Peyton-Jones <simonpj at microsoft.com> 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