summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail040.stderr
blob: 923be56470ba104a3bb14f7e7698e6fa558731dd (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 = (<<) === (<<)