blob: 8d30ec57a27e1b9d1a376c0c36ab47f550f29ef9 (
plain)
1
2
3
4
5
6
7
8
|
tcfail040.hs:19:14:
Ambiguous type variable `a0' in the constraint:
(ORD a0) arising from a use of `<<'
Probable fix: add a type signature that fixes these type variable(s)
In the second argument of `(===)', namely `(<<)'
In the expression: (<<) === (<<)
In an equation for `f': f = (<<) === (<<)
|