blob: 01d06599ef76fd34d3e19f0247ac888dee56be4f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
-- GHC 6.7 at one point said wog's type was:
--
-- wog :: forall t e (m :: * -> *).
-- (Monad GHC.Prim.Any1, Monad m) =>
-- t -> Something (m Bool) e
--
-- The stupid 'GHC.Prim.Any1' arose becuase of type ambiguity
-- which should be reported, and wasn't.
module ShouldFail where
data Something d e = Something{ bar:: d, initializer::e }
foo :: (Monad m) => Something (m Bool) n
foo = undefined
wog x = foo{bar = return True}
|