blob: fa635378a48dc42bc07c93252c3d8c3222ee0474 (
plain)
1
2
3
4
5
6
7
8
9
|
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)
|