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