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