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

T10194.hs:7:8: error:
    • Couldn't match type ‘b0’ with ‘X’
      Expected: (X -> c) -> (a -> X) -> a -> c
        Actual: (b0 -> c) -> (a -> b0) -> a -> c
      Cannot instantiate unification variable ‘b0’
      with a type involving polytypes: X
    • In the expression: (.)
      In an equation for ‘comp’: comp = (.)