Commit 3ad4e945 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #5837

parent 02dd86da
{-# LANGUAGE TypeFamilies #-}
module T5837 where
type family TF a :: *
type instance TF (a,b) = (TF a, TF b)
t :: (a ~ TF (a,Int)) => Int
t = undefined
T5837.hs:8:6:
Context reduction stack overflow; size = 51
Use -fcontext-stack=N to increase stack size to N
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
a)))))))))))))))))))))))))))))))))))))))))))))))))),
TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
Int)))))))))))))))))))))))))))))))))))))))))))))))))))
~ TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
(TF
a)))))))))))))))))))))))))))))))))))))))))))))))))
......@@ -240,3 +240,14 @@ test('T5642',
compiler_stats_range_field('bytes allocated', 3361296144, 10))
],
compile,['-O'])
test('T5837',
[ only_ways(['normal']),
if_wordsize(32, # sample from x86/Linux
compiler_stats_range_field('bytes allocated', 40000000, 10)),
# sample: 3926235424 (amd64/Linux, 15/2/2012)
if_wordsize(64,
compiler_stats_range_field('bytes allocated', 79110184, 10))
],
compile_fail,['-fcontext-stack=50'])
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