[commit: testsuite] wip/T8503: Type function application has its own depth counter now (ea1383b)

git at git.haskell.org git at git.haskell.org
Wed Nov 20 10:29:20 UTC 2013


Repository : ssh://git@git.haskell.org/testsuite

On branch  : wip/T8503
Link       : http://ghc.haskell.org/trac/ghc/changeset/ea1383ba2e8615335c4dac4070581c3b58627e59/testsuite

>---------------------------------------------------------------

commit ea1383ba2e8615335c4dac4070581c3b58627e59
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Wed Nov 20 10:23:46 2013 +0000

    Type function application has its own depth counter now


>---------------------------------------------------------------

ea1383ba2e8615335c4dac4070581c3b58627e59
 tests/typecheck/should_fail/ContextStack2.stderr |    4 ++--
 tests/typecheck/should_fail/all.T                |    2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/typecheck/should_fail/ContextStack2.stderr b/tests/typecheck/should_fail/ContextStack2.stderr
index 1a48a62..8b256dd 100644
--- a/tests/typecheck/should_fail/ContextStack2.stderr
+++ b/tests/typecheck/should_fail/ContextStack2.stderr
@@ -1,7 +1,7 @@
 
 ContextStack2.hs:8:6:
-    Context reduction stack overflow; size = 11
-    Use -fcontext-stack=N to increase stack size to N
+    Type function application stack overflow; size = 11
+    Use -ftype-function-stack=N to increase stack size to N
       (TF (TF (TF (TF (TF (TF (TF (TF (TF (TF (TF a)))))))))),
        TF (TF (TF (TF (TF (TF (TF (TF (TF (TF (TF Int)))))))))))
       ~ TF (TF (TF (TF (TF (TF (TF (TF (TF (TF a)))))))))
diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T
index b6530b1..4e4a2fc 100644
--- a/tests/typecheck/should_fail/all.T
+++ b/tests/typecheck/should_fail/all.T
@@ -326,4 +326,4 @@ test('T8428', normal, compile_fail, [''])
 test('T8450', normal, compile_fail, [''])
 test('T8514', normal, compile_fail, [''])
 test('ContextStack1', normal, compile_fail, ['-fcontext-stack=10'])
-test('ContextStack2', normal, compile_fail, ['-fcontext-stack=10'])
+test('ContextStack2', normal, compile_fail, ['-ftype-function-stack=10'])



More information about the ghc-commits mailing list