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

tcfail040.hs:19:5:
    No instance for (ORD a0) arising from a use of ‛<<’
    The type variable ‛a0’ is ambiguous
    Note: there is a potential instance available:
      instance ORD (a -> b) -- Defined at tcfail040.hs:17:10
    In the first argument of ‛(===)’, namely ‛(<<)’
    In the expression: (<<) === (<<)
    In an equation for ‛f’: f = (<<) === (<<)