b2de3de8d63a4e6de6f8678aa39647d4750bbd5a
[ghc.git] / testsuite / tests / typecheck / should_fail / T5236.stderr
1
2 T5236.hs:13:9:
3     Couldn't match type ‛A’ with ‛B’
4     When using functional dependencies to combine
5       Id A A,
6         arising from the dependency ‛a -> b’
7         in the instance declaration at T5236.hs:10:10
8       Id A B,
9         arising from the type signature for loop :: Id A B => Bool
10         at T5236.hs:13:9-22
11     In the ambiguity check for: Id A B => Bool
12     In the type signature for ‛loop’: loop :: Id A B => Bool