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