Modify a couple of error messages slightly
[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 the type signature for ‘loop’:\r
9       loop :: Id A B => Bool\r
10     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
11     In the type signature for ‘loop’: loop :: Id A B => Bool\r