Fold integer-simple.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T8450.stderr
1
2 T8450.hs:8:20:
3     Couldn't match type ‘a’ with ‘Bool’
4       ‘a’ is a rigid type variable bound by
5           the type signature for run :: a at T8450.hs:7:15
6     Expected type: Either Bool ()
7       Actual type: Either a ()
8     Relevant bindings include run :: a (bound at T8450.hs:8:1)
9     In the second argument of ‘($)’, namely
10       ‘(undefined :: Either a ())’
11     In the expression: runEffect $ (undefined :: Either a ())
12     In an equation for ‘run’:
13         run = runEffect $ (undefined :: Either a ())