blob: 1e50ae1c3c968c63aa2959919e5dcae4737f05de (
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 ())
|