blob: 7503f4d37eb8cc54d638c5e8918296dcd5d1bb1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T8450.hs:8:20: error:
• Couldn't match type ‘a’ with ‘Bool’
‘a’ is a rigid type variable bound by
the type signature for:
run :: forall a. a
at T8450.hs:7:1-18
Expected type: Either Bool ()
Actual type: Either a ()
• In the second argument of ‘($)’, namely
‘(undefined :: Either a ())’
In the expression: runEffect $ (undefined :: Either a ())
In an equation for ‘run’:
run = runEffect $ (undefined :: Either a ())
• Relevant bindings include run :: a (bound at T8450.hs:8:1)
|