diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
| commit | 4c68c2f97b25d58e7e1be03891ceff90d48d0936 (patch) | |
| tree | 7ca2f8ab2b81edad9ec151fe900c373da1ff31e6 /testsuite/tests/typecheck/should_compile/tc211.stderr | |
| parent | ad0e1c9c577ee87a5da8fcf8530ddede06e94de4 (diff) | |
| download | haskell-4c68c2f97b25d58e7e1be03891ceff90d48d0936.tar.gz | |
Lots of error message wibbling, following the
major TcErrors refactoring
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc211.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc211.stderr | 31 |
1 files changed, 18 insertions, 13 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc211.stderr b/testsuite/tests/typecheck/should_compile/tc211.stderr index 30d986c456..e6c5675422 100644 --- a/testsuite/tests/typecheck/should_compile/tc211.stderr +++ b/testsuite/tests/typecheck/should_compile/tc211.stderr @@ -1,25 +1,24 @@ tc211.hs:15:22: - Couldn't match expected type `a -> a' - with actual type `forall a1. a1 -> a1' - Expected type: [a -> a] - Actual type: [forall a1. a1 -> a1] + Couldn't match type `forall a1. a1 -> a1' with `a -> a' + Expected type: [a -> a] + Actual type: [forall a. a -> a] In the first argument of `head', namely `foo' In the first argument of `(:) :: (forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a]', namely `(head foo)' + In the expression: + ((:) :: + (forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a]) + (head foo) foo tc211.hs:70:9: - Couldn't match expected type `a -> a' - with actual type `forall a1. a1 -> a1' - Expected type: List (forall a1. a1 -> a1) - -> (forall a1. a1 -> a1) - -> a - -> a - Actual type: List (forall a1. a1 -> a1) - -> (forall a1. a1 -> a1) - -> forall a1. a1 -> a1 + Couldn't match type `forall a1. a1 -> a1' with `a -> a' + Expected type: List (forall a. a -> a) + -> (forall a. a -> a) -> a -> a + Actual type: List (forall a. a -> a) + -> (forall a. a -> a) -> forall a. a -> a In the expression: foo2 :: List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a) @@ -28,3 +27,9 @@ tc211.hs:70:9: List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a)) xs1 (\ x -> x) + In an equation for `bar4': + bar4 + = (foo2 :: + List (forall a. a -> a) + -> (forall a. a -> a) -> (forall a. a -> a)) + xs1 (\ x -> x) |