[redirecting to ghc users]
Actually this didn't work in 6.4.2 either! (Though it did in 6.4, for reasons
I have not investigated.)
Indeed I think your reasoning is correct. GHC tries to be pretty relaxed about
reporting ambiguous types, which is what this amounts to really.
I have committed
Hi,
I have recently tried to compile the 6.6 version of ghc from the darcs
repository.
I followed the intructions to pull ghc from the repository:
darcs get --partial http://darcs.haskell.org/ghc-6.6/ghc
cd ghc
chmod +x darc-add
./darcs-add -extra pull
The build process seems to get past stage
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