ff90037ff6e7bb14d59e6c9706a87ca60e070224
[ghc.git] / testsuite / tests / gadt / T7558.stderr
1
2 T7558.hs:8:4: error:
3     • Couldn't match type ‘a’ with ‘Maybe a’
4       ‘a’ is a rigid type variable bound by
5         the type signature for:
6           f :: forall a. T a a -> Bool
7         at T7558.hs:7:1-18
8       Inaccessible code in
9         a pattern with constructor:
10           MkT :: forall a b. a ~ Maybe b => a -> Maybe b -> T a b,
11         in an equation for ‘f’
12     • In the pattern: MkT x y
13       In an equation for ‘f’: f (MkT x y) = [x, y] `seq` True
14     • Relevant bindings include
15         f :: T a a -> Bool (bound at T7558.hs:8:1)