Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / T5236.stderr
1 \r
2 T5236.hs:13:9:\r
3     Couldn't match type ‘B’ with ‘A’\r
4     arising from a functional dependency between:\r
5       constraint ‘Id A B’\r
6         arising from the type signature for loop :: Id A B => Bool\r
7       instance ‘Id B B’ at T5236.hs:11:10-15\r
8     In the ambiguity check for: Id A B => Bool\r
9     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
10     In the type signature for ‘loop’: loop :: Id A B => Bool\r