diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-09-26 10:48:25 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-09-26 10:56:47 +0100 |
| commit | 8c9d0ce490506fdc60d9f25d4b80774180cf92ce (patch) | |
| tree | 4282a6f9c545f8e2ab1260692cf0fdc5770f6ece /testsuite | |
| parent | 20632d37b5bcb68bb0ca34238f1ed49c7be3a8f7 (diff) | |
| download | haskell-8c9d0ce490506fdc60d9f25d4b80774180cf92ce.tar.gz | |
Wibble to implicit-parameter error message
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5246.stderr | 20 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7525.stderr | 2 |
2 files changed, 12 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5246.stderr b/testsuite/tests/typecheck/should_fail/T5246.stderr index bd075cbb43..454c2b73b3 100644 --- a/testsuite/tests/typecheck/should_fail/T5246.stderr +++ b/testsuite/tests/typecheck/should_fail/T5246.stderr @@ -1,9 +1,11 @@ -
-T5246.hs:11:10:
- Could not deduce (?x::Int) arising from a use of ‘foo’
- from the context (?x::[Char])
- bound by the implicit-parameter bindings 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
+ +T5246.hs:11:10: + 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 diff --git a/testsuite/tests/typecheck/should_fail/T7525.stderr b/testsuite/tests/typecheck/should_fail/T7525.stderr index 9524d1a3e2..ecf3eb1ab0 100644 --- a/testsuite/tests/typecheck/should_fail/T7525.stderr +++ b/testsuite/tests/typecheck/should_fail/T7525.stderr @@ -3,7 +3,7 @@ T7525.hs:5:30: Could not deduce (?b::Bool) arising from a use of implicit parameter ‘?b’ from the context (?a::Bool) - bound by the implicit-parameter bindings for ?a at T7525.hs:5:7-31 + bound by the implicit-parameter binding for ?a at T7525.hs:5:7-31 In the second argument of ‘(&&)’, namely ‘?b’ In the expression: ?a && ?b In the expression: let ?a = True in ?a && ?b |