blob: df131da8a39803ef01fb7029a3e30b4b3fc40d24 (
plain)
1
2
3
4
5
6
7
8
9
10
|
SimpleFail16.hs:10:12: error:
• Couldn't match expected type: p0 a0
with actual type: F ()
The type variables ‘p0’, ‘a0’ are ambiguous
• In the first argument of ‘foo’, namely ‘(undefined :: F ())’
In the expression: foo (undefined :: F ())
In an equation for ‘bar’: bar = foo (undefined :: F ())
• Relevant bindings include
bar :: p0 a0 (bound at SimpleFail16.hs:10:1)
|