Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail116.stderr
1 \r
2 tcfail116.hs:6:5:\r
3     Could not deduce (Foo a0)\r
4     from the context: Foo a\r
5       bound by the type signature for: bug :: Foo a => ()\r
6       at tcfail116.hs:6:5-13\r
7     The type variable ‘a0’ is ambiguous\r
8     In the ambiguity check for the type signature for ‘bug’:\r
9       bug :: forall a. Foo a => ()\r
10     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
11     When checking the class method: bug :: forall a. Foo a => ()\r
12     In the class declaration for ‘Foo’\r