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