Type function application has its own depth counter now
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 20 Nov 2013 10:23:46 +0000 (10:23 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 22 Nov 2013 17:54:12 +0000 (17:54 +0000)
testsuite/tests/indexed-types/should_fail/SkolemOccursLoop.hs
testsuite/tests/typecheck/should_fail/ContextStack2.stderr
testsuite/tests/typecheck/should_fail/all.T

index 1696a45..7d06f3f 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fcontext-stack=3 #-}
+{-# OPTIONS_GHC -ftype-function-depth=3 #-}
 {-# LANGUAGE TypeFamilies, FlexibleContexts, EmptyDataDecls #-}
 
 module SkolemOccursLoop where
index 1a48a62..210e22d 100644 (file)
@@ -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-depth=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)))))))))
index 39a5fc2..4776b56 100644 (file)
@@ -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-depth=10'])