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

T5978.hs:22:11:
    Couldn't match type `Bool' with `Char'
    When using functional dependencies to combine
      C Double Bool,
        arising from the dependency `from -> to'
        in the instance declaration at T5978.hs:8:10
      C Double Char, arising from a use of `polyBar' at T5978.hs:22:11-17
    In the expression: polyBar id monoFoo
    In an equation for `monoBar': monoBar = polyBar id monoFoo