diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-02 16:35:42 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-02 16:35:42 +0000 |
commit | 64880bb7693ca9a97e26a292b5d3fe402f72c143 (patch) | |
tree | 87885e83aab4d79fdc15922eba28ea0e63f622c1 /testsuite/tests/typecheck/should_fail/tcfail103.stderr | |
parent | 7a29e7e2e17b47360adfca59d049b77f8ec3f0f7 (diff) | |
download | haskell-64880bb7693ca9a97e26a292b5d3fe402f72c143.tar.gz |
Modified error output and new tests for PolyKinds commit
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail103.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail103.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail103.stderr b/testsuite/tests/typecheck/should_fail/tcfail103.stderr index 7d6e4dfd6c..5a9b1839f6 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail103.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail103.stderr @@ -2,9 +2,9 @@ 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:11:1 + 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:15:9 + 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' |