6 Jan
2007
6 Jan
'07
1:58 p.m.
Simon Peyton-Jones wrote:
I just applied this rule http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html...
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 darcs. Thanks! -Yitz