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

T10194.hs:7:8: error: [GHC-91028]
    • 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 = (.)