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
that answer your qn
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Yitzchak Gale
| Sent: 03 January 2007 22:26
| To: Simon Peyton-Jones
| Cc: GHC users
| Subject: Re: [Haskell] Fundep broken in GHC 6.6
|
| On 12 November 2006 I wrote
| Subject: [Haskell] Fundep broken in GHC 6.6
|
| Hi,
|
| The following class declaration worked in GHC 6.4.
| I recently upgraded to 6.6 (following Debian), and
| now it is broken.
|
| class Error e = Game b mv e | b - mv e where
| newBoard :: MonadState b m = m ()
| ...
|
| Since MonadState has
On 12 November 2006 I wrote (on the haskell list):
class Error e = Game b mv e | b - mv e where
newBoard :: MonadState b m = m ()
...
Since MonadState has the fundep m - b, the type
of newBoard fully specifies all of the class parameters
But GHC 6.6 complains...
Simon Peyton-Jones