blob: 74e4606993600472640169c5ad803a6bd1958751 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T5236.hs:13:9:
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 the type signature for loop :: Id A B => Bool
at T5236.hs:13:9-22
In the ambiguity check for: Id A B => Bool
In the type signature for `loop': loop :: Id A B => Bool
|