On 3/13/13, Simon Peyton-Jones <[email protected]> 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

_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs

Reply via email to