Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail098.stderr
1
2 tcfail098.hs:12:10: error:
3     • Could not deduce (Bar a0)
4       from the context: Bar a
5         bound by an instance declaration:
6                    Bar a => Bar Bool
7         at tcfail098.hs:12:10-26
8       The type variable ‘a0’ is ambiguous
9     • In the ambiguity check for an instance declaration
10       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11       In the instance declaration for ‘Bar Bool’