[project @ 2006-01-06 16:15:19 by simonpj]

Add another synonym-performance test (but comment it out of the test file; too slow!)

testsuite/tests/ghc-regress/typecheck/should_compile/all.T

@@ -211,7 +211,10 @@ test('tc198', normal, compile, [''])
 test('tc199', expect_fail_if_compiler_type('ghc'), compile, [''])
 test('tc200', normal, compile, [''])
 
-test('syn-perf', normal, compile, ['-fcontext-stack=30'])
+# Omitting temporarily
+# test('syn-perf', normal, compile, ['-fcontext-stack=30'])
+# test('syn-perf2', normal, compile, ['-fcontext-stack=30'])
+
 test('LoopOfTheDay1', normal, compile, [''])
 test('LoopOfTheDay2', normal, compile, [''])
 test('LoopOfTheDay3', normal, compile, [''])

testsuite/tests/ghc-regress/typecheck/should_compile/syn-perf2.hs

+-- Another type-synonym performance test
+
+module ShouldCompile where
+
+type S = Maybe
+type S2 n = S (S n)
+type S4 n = S2 (S2 n)
+type S8 n = S4 (S4 n)
+type S16 n = S8 (S8 n)
+type S32 n = S16 (S16 n)
+
+type N64 n = S32 (S32 n)
+
+type N64' =
+   S ( S ( S ( S ( S ( S ( S ( S (
+   S ( S ( S ( S ( S ( S ( S ( S (
+   S ( S ( S ( S ( S ( S ( S ( S (
+   S ( S ( S ( S ( S ( S ( S ( S (
+   S ( S ( S ( S ( S ( S ( S ( S (
+   S ( S ( S ( S ( S ( S ( S ( S (
+   S ( S ( S ( S ( S ( S ( S ( S (
+   S ( S ( S ( S ( S ( S ( S ( S (
+   Int
+   ))))))))
+   ))))))))
+   ))))))))
+   ))))))))
+   ))))))))
+   ))))))))
+   ))))))))
+   ))))))))