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