blob: 90ec5b13a54a045bf4fa6b3ae59f2f59312f19dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
tcfail175.hs:11:1: error:
• Couldn't match expected type ‘a’
with actual type ‘String -> String -> String’
‘a’ is a rigid type variable bound by
the type signature for:
evalRHS :: forall a. Int -> a
at tcfail175.hs:10:1-19
• The equation(s) for ‘evalRHS’ have three value arguments,
but its type ‘Int -> a’ has only one
• Relevant bindings include
evalRHS :: Int -> a (bound at tcfail175.hs:11:1)
|