Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7748a.stderr
1
2 T7748a.hs:16:24: error:
3     • Couldn't match expected type ‘a’
4                   with actual type ‘Maybe (Maybe (r -> ()))’
5       ‘a’ is a rigid type variable bound by
6         the type signature for:
7           test :: forall a r. a -> r -> ()
8         at T7748a.hs:11:1-20
9     • In the pattern: Just (Just p)
10       In a case alternative: Just (Just p) -> p
11       In the expression:
12         case zd of
13           Nothing -> const ()
14           Just Nothing -> const ()
15           Just (Just p) -> p
16     • Relevant bindings include
17         g :: r -> () (bound at T7748a.hs:13:16)
18         f :: r -> () (bound at T7748a.hs:13:8)
19         zd :: a (bound at T7748a.hs:12:6)
20         test :: a -> r -> () (bound at T7748a.hs:12:1)