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

T5246.hs:11:10:
    Couldn't match type ‛[Char]’ with ‛Int’
    When using functional dependencies to combine
      ?x::[Char],
        arising from the implicit-parameter bindings for ?x
        at T5246.hs:(10,7)-(11,12)
      ?x::Int, arising from a use of ‛foo’ at T5246.hs:11:10-12
    In the expression: foo
    In the expression: let ?x = "hello" in foo