summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run/T3731_simple.stderr
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