blob: be05057ac95c1aa63183b0fa9d42c50440cc03d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
-- Control.Monad.Error re-exports Control.Monad.Fix.
-- This test checks that the subordinate-name test
-- for a class operation (when renaming the instance decl)
-- works correctly.
module ShouldCompile where
import Control.Monad.Error
data Foo a = Foo a
instance Monad Foo where
return a = Foo a
(Foo a) >>= k = k a
instance MonadFix Foo where
mfix = undefined
|
