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

T5978.hs:22:11: error: [GHC-18872]
    • Couldn't match type ‘Bool’ with ‘Char’
        arising from a functional dependency between:
          constraint ‘C Double Char’ arising from a use of ‘polyBar’
          instance ‘C Double Bool’ at T5978.hs:8:10-22
    • In the expression: polyBar id monoFoo
      In an equation for ‘monoBar’: monoBar = polyBar id monoFoo