blob: efa87aeaf04357e87b8b15feedf5ba30dc6768c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
rnfail014.hs:8:
Ambiguous constraint `Eq a'
in the type: Eq Bool
Each forall-d type variable mentioned by the constraint must appear after the =>.
In the type signature for an instance decl
rnfail014.hs:12:
Ambiguous constraint `Eq a'
in the type: Int -> Int
Each forall-d type variable mentioned by the constraint must appear after the =>.
In the type signature for `f'
rnfail014.hs:17:
All of the type variable(s) in the constraint `Eq a' are already in scope
At least one must be universally quantified here
In the type signature for `op'
Compilation had errors
|
