blob: e27ad9a11ddfa84cafda35ffa69de186d35458c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T3731_simple.hs:19:13: error: [GHC-39999]
• Could not deduce ‘Default a’
arising from a superclass required to satisfy ‘Data a’,
arising from a use of ‘dataTypeOf’
from the context: Data a
bound by the type signature for:
defaultDefaultValue :: forall a. Data a => a
at T3731_simple.hs:16:1-34
• In the expression: dataTypeOf res
In an equation for ‘res’: res = dataTypeOf res
In an equation for ‘defaultDefaultValue’:
defaultDefaultValue
= res
where
res = dataTypeOf res
|