blob: 9ddffeb28bf62c0970dd0b2427f499e8c59a6963 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
tcfail057.hs:5:7: error:
• Expected a type, but ‘RealFrac a’ has kind ‘Constraint’
• In the type signature: f :: (RealFrac a) -> a -> a
tcfail057.hs:6:7: error:
• Couldn't match expected type ‘a -> a’
with actual type ‘RealFrac a’
• In the expression: x
In an equation for ‘f’: f x = x
• Relevant bindings include
x :: RealFrac a (bound at tcfail057.hs:6:3)
f :: RealFrac a => a -> a (bound at tcfail057.hs:6:1)
|