Improve error messages for skolems
[ghc.git] / testsuite / tests / typecheck / should_fail / T12151.stderr
1
2 T12151.hs:9:13: error:
3     • The default type signature for put: forall t. t
4       does not match its corresponding non-default type signature
5     • When checking the class method: put :: forall a. Put a => a
6       In the class declaration for ‘Put’
7
8 T12151.hs:9:13: error:
9     • Could not deduce (Put a0)
10       from the context: Put a
11         bound by the type signature for:
12                    put :: forall a. Put a => forall t. t
13         at T12151.hs:9:13-15
14       The type variable ‘a0’ is ambiguous
15     • In the ambiguity check for ‘put’
16       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
17       When checking the class method: put :: forall a. Put a => a
18       In the class declaration for ‘Put’