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

tcfail040.hs:19:5: error: [GHC-39999]
    • Ambiguous type variable ‘a0’ arising from a use of ‘<<’
      prevents the constraint ‘(ORD a0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      Potentially matching instance:
        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 = (<<) === (<<)