summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail040.stderr
blob: 8d30ec57a27e1b9d1a376c0c36ab47f550f29ef9 (plain)
1
2
3
4
5
6
7
8

tcfail040.hs:19:14:
    Ambiguous type variable `a0' in the constraint:
      (ORD a0) arising from a use of `<<'
    Probable fix: add a type signature that fixes these type variable(s)
    In the second argument of `(===)', namely `(<<)'
    In the expression: (<<) === (<<)
    In an equation for `f': f = (<<) === (<<)