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