diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 21:00:02 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 21:00:02 +0100 |
| commit | 6dc6775590c85371c0d74249bdbcc8c51b9975ce (patch) | |
| tree | 542198287994d792a04d2689549964f2fef2522a /testsuite/tests/typecheck/should_fail/tcfail103.stderr | |
| parent | 6eb9500b3f0ad70db9d2f0bf7fc1a1fb9a2f8cf9 (diff) | |
| download | haskell-6dc6775590c85371c0d74249bdbcc8c51b9975ce.tar.gz | |
Error message wibbles following TyClDecl/HsTyDefn refactoring
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail103.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail103.stderr | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail103.stderr b/testsuite/tests/typecheck/should_fail/tcfail103.stderr index 5a9b1839f6..134f36f193 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail103.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail103.stderr @@ -1,12 +1,12 @@ - -tcfail103.hs:15:23: - Couldn't match type `t' with `s' - `t' is a rigid type variable bound by - the type signature for f :: ST t Int at tcfail103.hs:10:8 - `s' is a rigid type variable bound by - the type signature for g :: ST s Int at tcfail103.hs:13:17 - Expected type: STRef s Int - Actual type: STRef t Int - In the first argument of `readSTRef', namely `v' - In the expression: readSTRef v - In an equation for `g': g = readSTRef v +
+tcfail103.hs:15:23:
+ Couldn't match type `t' with `s'
+ `t' is a rigid type variable bound by
+ the type signature for f :: ST t Int at tcfail103.hs:10:5
+ `s' is a rigid type variable bound by
+ the type signature for g :: ST s Int at tcfail103.hs:13:14
+ Expected type: STRef s Int
+ Actual type: STRef t Int
+ In the first argument of `readSTRef', namely `v'
+ In the expression: readSTRef v
+ In an equation for `g': g = readSTRef v
|