blob: 469e75849aecef2449867da962a0a6a28bd27f19 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
tcfail072.hs:23:13:
Ambiguous type variable `p0' in the constraint:
(Ord p0) arising from a use of `g'
Probable fix: add a type signature that fixes these type variable(s)
In the expression: g A
In an equation for `g': g (B _ _) = g A
tcfail072.hs:23:13:
Ambiguous type variable `q0' in the constraint:
(Ord q0) arising from a use of `g'
Probable fix: add a type signature that fixes these type variable(s)
In the expression: g A
In an equation for `g': g (B _ _) = g A
|