summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T18851b.stderr
blob: 4fc632552412647d680fabe3751864571b16ae8b (plain)
1
2
3
4
5
6
7
8

T18851b.hs:27:5: error: [GHC-18872]
    • Couldn't match type ‘A’ with ‘B’
        arising from a functional dependency between constraints:
          ‘C Int B’ arising from a use of ‘f’ at T18851b.hs:27:5
          ‘C Int A’ arising from a use of ‘f’ at T18851b.hs:27:5
    • In the expression: f @A @B
      In an equation for ‘g’: g = f @A @B