blob: ba0e6769a6875bf5c257449feaf422227c7c6fd7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T7748a.hs:14:24: error: [GHC-25897]
• Couldn't match expected type ‘a’
with actual type ‘Maybe (Maybe (r -> ()))’
‘a’ is a rigid type variable bound by
the type signature for:
test :: forall a r. a -> r -> ()
at T7748a.hs:11:1-20
• In the pattern: Nothing
In a case alternative: Nothing -> const ()
In the expression:
case zd of
Nothing -> const ()
Just Nothing -> const ()
Just (Just p) -> p
• Relevant bindings include
g :: r -> () (bound at T7748a.hs:13:16)
f :: r -> () (bound at T7748a.hs:13:8)
zd :: a (bound at T7748a.hs:12:6)
test :: a -> r -> () (bound at T7748a.hs:12:1)
|