SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / tc168.stderr
1
2 tc168.hs:17:1: error:
3     • Could not deduce (C a1 (a, b0))
4       from the context: C a1 (a, b)
5         bound by the inferred type for ‘g’:
6                    C a1 (a, b) => a1 -> a
7         at tc168.hs:17:1-16
8       The type variable ‘b0’ is ambiguous
9     • In the ambiguity check for the inferred type for ‘g’
10       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11       When checking the inferred type
12         g :: forall a b a1. C a1 (a, b) => a1 -> a