[Haskell] Fundep broken in GHC 6.6

Yitzchak Gale gale at sefer.org
Sat Jan 6 13:58:40 EST 2007

Simon Peyton-Jones wrote:
> I just applied this rule
>         http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#id3170412
> In this case the type of newBoard is
>         newBoard :: (Game b mv e, MonadStaet b m) => m ()
> Following the rules in that manual section, this type sig is (now) ok.  Does that answer your qn

Yes, I think it does.

I guess I'll only really know when I can either get my
hands on 6.6.1, or successfully compile GHC from



More information about the Glasgow-haskell-users mailing list