summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T5978.stderr
blob: e07acd49b142c3ce80dc517848deb34b09a90f1d (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