Test case for #T7619
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 20 Jan 2014 10:31:45 +0000 (10:31 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 20 Jan 2014 10:33:22 +0000 (10:33 +0000)
(artificial test cases are so nice: 90.7% improvement!)

testsuite/tests/perf/should_run/T7619.hs [new file with mode: 0644]
testsuite/tests/perf/should_run/all.T

diff --git a/testsuite/tests/perf/should_run/T7619.hs b/testsuite/tests/perf/should_run/T7619.hs
new file mode 100644 (file)
index 0000000..d640739
--- /dev/null
@@ -0,0 +1,12 @@
+{-# LANGUAGE TypeFamilies #-}
+module Main where
+data family Foo a
+
+data instance Foo Int = FooInt Int Int
+
+foo :: Foo Int -> Int
+foo (FooInt a 0) = 0
+foo (FooInt a b) = foo (FooInt a (b-1))
+
+main :: IO ()
+main = foo (FooInt 0 10000) `seq` return ()
index 4f6a9d3..98a68d7 100644 (file)
@@ -314,3 +314,11 @@ test('T4267',
      compile_and_run,
      ['-O'])
 
+test('T7619',
+     [stats_num_field('bytes allocated',
+                      [ (wordsize(64), 40992, 10)]),
+                      # previously, it was >400000 bytes
+      only_ways(['normal'])],
+     compile_and_run,
+     ['-O'])
+