Rearrange error msgs and add section markers (Trac #11014).
[ghc.git] / testsuite / tests / typecheck / should_fail / T8450.stderr
1
2 T8450.hs:8:7:
3     Couldn't match expected type ‘a’ with actual type ‘()’
4       ‘a’ is a rigid type variable bound by
5           the type signature for: run :: a at T8450.hs:7:15
6     In the expression: runEffect $ (undefined :: Either a ())
7     In an equation for ‘run’:
8         run = runEffect $ (undefined :: Either a ())
9     Relevant bindings include run :: a (bound at T8450.hs:8:1)