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