Commit a4c79e3e authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Type function application has its own depth counter now

parent 7055a16c
{-# OPTIONS_GHC -fcontext-stack=3 #-} {-# OPTIONS_GHC -ftype-function-depth=3 #-}
{-# LANGUAGE TypeFamilies, FlexibleContexts, EmptyDataDecls #-} {-# LANGUAGE TypeFamilies, FlexibleContexts, EmptyDataDecls #-}
module SkolemOccursLoop where module SkolemOccursLoop where
......
ContextStack2.hs:8:6: ContextStack2.hs:8:6:
Context reduction stack overflow; size = 11 Type function application stack overflow; size = 11
Use -fcontext-stack=N to increase stack size to N 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 a)))))))))),
TF (TF (TF (TF (TF (TF (TF (TF (TF (TF (TF Int))))))))))) TF (TF (TF (TF (TF (TF (TF (TF (TF (TF (TF Int)))))))))))
~ TF (TF (TF (TF (TF (TF (TF (TF (TF (TF a))))))))) ~ TF (TF (TF (TF (TF (TF (TF (TF (TF (TF a)))))))))
......
...@@ -326,4 +326,4 @@ test('T8428', normal, compile_fail, ['']) ...@@ -326,4 +326,4 @@ test('T8428', normal, compile_fail, [''])
test('T8450', normal, compile_fail, ['']) test('T8450', normal, compile_fail, [''])
test('T8514', normal, compile_fail, ['']) test('T8514', normal, compile_fail, [''])
test('ContextStack1', normal, compile_fail, ['-fcontext-stack=10']) 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'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment