summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T19977a.stderr
blob: 3bce358d49d8d49c95bdbbb6801d7afce40701a4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

T19977a.hs:11:7: error:
    • Could not deduce ‘Show a’ arising from a use of ‘f’
      from the context: Show [a]
        bound by the type signature for:
                   g :: forall a. Show [a] => a -> String
        at T19977a.hs:10:1-28
      Possible fix:
        add (Show a) to the context of
          the type signature for:
            g :: forall a. Show [a] => a -> String
    • In the expression: f x
      In an equation for ‘g’: g x = f x