testsuite/tests/rts/T14497.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

module Main (main) where

import System.Timeout

fuc :: Integer -> Integer
fuc 0 = 1
fuc n = n * fuc (n - 1)

main :: IO ()
main = do
  let x = fuc 30000
  timeout 1000 (print x)
  print (x > 0)