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/T2494.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/T2494.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T2494.stderr | 46 |
1 files changed, 24 insertions, 22 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T2494.stderr b/testsuite/tests/typecheck/should_compile/T2494.stderr index 5e5661e74a..765858e198 100644 --- a/testsuite/tests/typecheck/should_compile/T2494.stderr +++ b/testsuite/tests/typecheck/should_compile/T2494.stderr @@ -1,22 +1,24 @@ -
-T2494.hs:15:7:
- Couldn't match type `b' with `a'
- `b' is a rigid type variable bound by
- the RULE "foo/foo" at T2494.hs:14:46
- `a' is a rigid type variable bound by
- the RULE "foo/foo" at T2494.hs:13:46
- Expected type: Maybe (m b) -> Maybe (m b)
- Actual type: Maybe (m a) -> Maybe (m a)
- In the first argument of `foo', namely `f'
- In the expression: foo f (foo g x)
-
-T2494.hs:15:30:
- Couldn't match type `b' with `a'
- `b' is a rigid type variable bound by
- the RULE "foo/foo" at T2494.hs:14:46
- `a' is a rigid type variable bound by
- the RULE "foo/foo" at T2494.hs:13:46
- Expected type: Maybe (m b) -> Maybe (m a)
- Actual type: Maybe (m b) -> Maybe (m b)
- In the second argument of `(.)', namely `g'
- In the first argument of `foo', namely `(f . g)'
+ +T2494.hs:15:7: + Couldn't match type `b' with `a' + `b' is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:14:46 + `a' is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:13:46 + Expected type: Maybe (m b) -> Maybe (m b) + Actual type: Maybe (m a) -> Maybe (m a) + In the first argument of `foo', namely `f' + In the expression: foo f (foo g x) + When checking the transformation rule "foo/foo" + +T2494.hs:15:30: + Couldn't match type `b' with `a' + `b' is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:14:46 + `a' is a rigid type variable bound by + the RULE "foo/foo" at T2494.hs:13:46 + Expected type: Maybe (m b) -> Maybe (m a) + Actual type: Maybe (m b) -> Maybe (m b) + In the second argument of `(.)', namely `g' + In the first argument of `foo', namely `(f . g)' + In the expression: foo (f . g) x |