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