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/tcfail068.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/tcfail068.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail068.stderr | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail068.stderr b/testsuite/tests/typecheck/should_fail/tcfail068.stderr index 52adc6c582..286d0e8e79 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail068.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail068.stderr @@ -1,24 +1,24 @@ tcfail068.hs:14:9:
- Could not deduce (s ~ s1)
+ Could not deduce (s1 ~ s)
from the context (Constructed a)
bound by the type signature for
itgen :: Constructed a => (Int, Int) -> a -> IndTree s a
at tcfail068.hs:(12,1)-(14,31)
+ `s1' is a rigid type variable bound by
+ a type expected by the context: GHC.ST.ST s1 (IndTree s a)
+ at tcfail068.hs:13:9
`s' is a rigid type variable bound by
the type signature for
itgen :: Constructed a => (Int, Int) -> a -> IndTree s a
at tcfail068.hs:12:1
- `s1' is a rigid type variable bound by
- a type expected by the context: GHC.ST.ST s1 (IndTree s a)
- at tcfail068.hs:13:9
- Expected type: GHC.ST.ST s1 (IndTree s a)
+ Expected type: GHC.ST.ST s (IndTree s1 a)
Actual type: GHC.ST.ST s (STArray s (Int, Int) a)
In the return type of a call of `newSTArray'
In the first argument of `runST', namely
`(newSTArray ((1, 1), n) x)'
-tcfail068.hs:20:9:
+tcfail068.hs:19:21:
Could not deduce (s ~ s1)
from the context (Constructed a)
bound by the type signature for
@@ -33,11 +33,10 @@ tcfail068.hs:20:9: `s1' is a rigid type variable bound by
a type expected by the context: GHC.ST.ST s1 (IndTree s a)
at tcfail068.hs:18:9
- Expected type: GHC.ST.ST s1 ()
- Actual type: GHC.ST.ST s ()
- In the return type of a call of `writeSTArray'
- In the first argument of `(>>)', namely
- `writeSTArray arr i (f val)'
+ Expected type: STArray s1 (Int, Int) a
+ Actual type: IndTree s a
+ In the first argument of `readSTArray', namely `arr'
+ In the first argument of `(>>=)', namely `readSTArray arr i'
tcfail068.hs:24:35:
Could not deduce (s ~ s1)
|