Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / T8450.stderr
1
2 T8450.hs:8:20: error:
3     • Couldn't match type ‘a’ with ‘Bool’
4       ‘a’ is a rigid type variable bound by
5         the type signature for:
6           run :: forall a. a
7         at T8450.hs:7:1-18
8       Expected type: Either Bool ()
9         Actual type: Either a ()
10     • In the second argument of ‘($)’, namely
11         ‘(undefined :: Either a ())’
12       In the expression: runEffect $ (undefined :: Either a ())
13       In an equation for ‘run’:
14           run = runEffect $ (undefined :: Either a ())
15     • Relevant bindings include run :: a (bound at T8450.hs:8:1)