summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr
blob: cb47049f063411c7941c455edd5e6aca8ec191fa (plain)
1
2
3
4
5
6
7
8
9
10

FDsFromGivens.hs:21:15:
    Could not deduce (C Char [a]) arising from a use of ‛f’
    from the context (C Char Char)
      bound by a pattern with constructor
                 KCC :: C Char Char => () -> KCC,
               in an equation for ‛bar’
      at FDsFromGivens.hs:21:6-10
    In the expression: f
    In an equation for ‛bar’: bar (KCC _) = f