Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / typecheck / should_compile / tc223.hs
1 {-# OPTIONS_GHC -fno-warn-deprecations #-}
2 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
3 module Foo where
4
5 -- This example suggested by Yitzchak Gale
6
7 import Control.Monad.State
8 import Control.Monad.Error
9
10 class Error e => Game b mv e | b -> mv e where
11 newBoard :: MonadState b m => m ()
12 -- This method is unambiguous, because
13 -- m determines b (via a fundep in MonadState)
14
15