diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-11-30 01:06:46 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-11-30 01:06:46 +0000 |
| commit | 854abfec61dc65055d5f1cff46f7f758eb7decc2 (patch) | |
| tree | c02663e643930522de028ba076690d3d6aff7304 /testsuite/tests/typecheck/should_fail/tcfail206.stderr | |
| parent | 138d63fdc86afa46f8b43159c026c8db8bc0aa76 (diff) | |
| download | haskell-854abfec61dc65055d5f1cff46f7f758eb7decc2.tar.gz | |
Follow error message changes
I think these are a consequence of my uType_defer fix to
Trac #5631
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail206.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail206.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail206.stderr b/testsuite/tests/typecheck/should_fail/tcfail206.stderr index fb812f1cbf..f469475b9f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail206.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail206.stderr @@ -19,7 +19,7 @@ tcfail206.hs:11:5: `a' is a rigid type variable bound by
the type signature for c :: a -> (a, Bool) at tcfail206.hs:11:1
Expected type: a -> (a, Bool)
- Actual type: Bool -> (Bool, Bool)
+ Actual type: a -> (a, a)
In the expression: (True || False,)
In an equation for `c': c = (True || False,)
|