Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / T8392a.stderr
1
2 T8392a.hs:6:8: error:
3     • Couldn't match type ‘Int’ with ‘Bool’
4       Inaccessible code in
5         the type signature for:
6           foo :: Int ~ Bool => a -> a
7     • In the ambiguity check for ‘foo’
8       In the type signature:
9         foo :: (Int ~ Bool) => a -> a