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