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