63cff4aa1737af34fdb275c861291d09d2752cf3
[ghc.git] / testsuite / tests / typecheck / should_fail / T7748a.stderr
1 \r
2 T7748a.hs:16:24:\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 test :: a -> r -> () at T7748a.hs:11:9\r
7     Relevant bindings include\r
8       g :: r -> () (bound at T7748a.hs:13:16)\r
9       f :: r -> () (bound at T7748a.hs:13:8)\r
10       zd :: a (bound at T7748a.hs:12:6)\r
11       test :: a -> r -> () (bound at T7748a.hs:12:1)\r
12     In the pattern: Just (Just p)\r
13     In a case alternative: Just (Just p) -> p\r
14     In the expression:\r
15       case zd of {\r
16         Nothing -> const ()\r
17         Just Nothing -> const ()\r
18         Just (Just p) -> p }\r