Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / T8450.stderr
1
2 T8450.hs:8:7: error:
3     • Couldn't match expected type ‘a’ with actual type ‘()’
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     • In the expression: runEffect $ (undefined :: Either a ())
9       In an equation for ‘run’:
10           run = runEffect $ (undefined :: Either a ())
11     • Relevant bindings include run :: a (bound at T8450.hs:8:1)