diff options
| author | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2012-07-19 14:34:53 +0200 |
|---|---|---|
| committer | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2012-07-19 14:34:53 +0200 |
| commit | a631a13deaaa75b198f1d53f01ad0d3e49e4686f (patch) | |
| tree | 18d856644abe4634c1ce2fdc5d79eae307fe3779 /testsuite | |
| parent | 436630fb433413c9ff6f9b053594021a598cb2e6 (diff) | |
| download | haskell-a631a13deaaa75b198f1d53f01ad0d3e49e4686f.tar.gz | |
Improving error messages for synonyms.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4179.stderr | 14 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/FD3.stderr | 2 |
2 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr index 35209c591f..45fbdaf03f 100644 --- a/testsuite/tests/indexed-types/should_fail/T4179.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr @@ -1,18 +1,18 @@ T4179.hs:26:16: - Could not deduce (A3 (x (A2 (x (Con x)) -> A3 (x (Con x)))) - ~ A3 (x (Con x))) + Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x))) + ~ A3 (FCon x)) from the context (Functor x, DoC (FCon x)) bound by the type signature for fCon :: (Functor x, DoC (FCon x)) => Con x -> A2 (FCon x) -> A3 (FCon x) at T4179.hs:25:9-72 NB: `A3' is a type function, and may not be injective - Expected type: x (A2 (x (Con x)) -> A3 (x (Con x))) - -> A2 (x (Con x)) -> A3 (x (Con x)) - Actual type: x (A2 (x (Con x)) -> A3 (x (Con x))) - -> A2 (x (A2 (x (Con x)) -> A3 (x (Con x)))) - -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x)))) + Expected type: x (A2 (FCon x) -> A3 (FCon x)) + -> A2 (FCon x) -> A3 (FCon x) + Actual type: x (A2 (FCon x) -> A3 (FCon x)) + -> A2 (x (A2 (FCon x) -> A3 (FCon x))) + -> A3 (x (A2 (FCon x) -> A3 (FCon x))) In the first argument of `foldDoC', namely `op' In the expression: foldDoC op In an equation for `fCon': fCon = foldDoC op diff --git a/testsuite/tests/typecheck/should_compile/FD3.stderr b/testsuite/tests/typecheck/should_compile/FD3.stderr index 9285bb839d..00b0a816ad 100644 --- a/testsuite/tests/typecheck/should_compile/FD3.stderr +++ b/testsuite/tests/typecheck/should_compile/FD3.stderr @@ -1,6 +1,6 @@ FD3.hs:15:15: - Couldn't match type `a' with `([Char], a)' + Couldn't match type `a' with `(String, a)' `a' is a rigid type variable bound by the type signature for translate :: (String, a) -> A a at FD3.hs:14:14 |