blob: 76f6de23530913135fd8dfff6c60364597b1cf6b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T5236.hs:17:5:
Couldn't match type `A' with `B'
When using functional dependencies to combine
Id A A,
arising from the dependency `a -> b'
in the instance declaration at T5236.hs:10:10
Id A B, arising from a use of `loop' at T5236.hs:17:5-8
In the expression: loop
In an equation for `f': f = loop
T5236.hs:17:5:
Couldn't match type `B' with `A'
When using functional dependencies to combine
Id B B,
arising from the dependency `b -> a'
in the instance declaration at T5236.hs:11:10
Id A B, arising from a use of `loop' at T5236.hs:17:5-8
In the expression: loop
In an equation for `f': f = loop
|