34ea4bff61e7cf890cc846a37be72bac5ff6ec4b
[ghc.git] / testsuite / tests / typecheck / should_compile / FD1.stderr
1
2 FD1.hs:16:1:
3     Couldn't match expected type ‘Int -> Int’ with actual type ‘a’
4       ‘a’ is a rigid type variable bound by
5           the type signature for plus :: E a (Int -> Int) => Int -> a
6           at FD1.hs:15:9
7     Relevant bindings include plus :: Int -> a (bound at FD1.hs:16:1)
8     The equation(s) for ‘plus’ have two arguments,
9     but its type ‘Int -> a’ has only one