blob: 6875bebd554af8b537a2d80e592fb37aed46ad10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE BangPatterns #-}
{-# OPTIONS_GHC -O2 #-}
-- #3437
-- When we do SpecConstr on 'go', we want the specialised
-- function to *still* be strict in k. Otherwise we get
-- a bad space leak!
-- The test is run with +RTS -M10m to limit the amount of heap
-- It should run in constant space, but if the function isn't
-- strict enough it'll run out of heap
module Main where
go :: [Int] -> [Int] -> [Int]
go (0:xs) !k = k
go (n:xs) !k = go (n-1 : xs) (k ++ k)
main = print (go [100000000] [])
|
