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

T5246.hs:11:10: error:
    Couldn't match type ‘[Char]’ with ‘Int’
    arising from a functional dependency between constraints:
      ‘?x::Int’ arising from a use of ‘foo’ at T5246.hs:11:10-12
      ‘?x::[Char]’
        arising from the implicit-parameter binding for ?x
        at T5246.hs:(10,7)-(11,12)
    In the expression: foo
    In the expression: let ?x = "hello" in foo
    In an equation for ‘bar’: bar = let ?x = "hello" in foo