diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-09-16 15:27:37 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-09-16 15:27:37 +0200 |
commit | 0926ee8c49e52a7cd0b1fa3187f46df4305c97c5 (patch) | |
tree | 9a3cb65ae977f48c71bafe8e9fbb117db203864a | |
parent | c5674092d3734e4cbe9f5e31cd9c38920f07c03c (diff) |
update primes test because it sometimes causes timeout during the performance report
-rw-r--r-- | testdata/primes.lc | 2 | ||||
-rw-r--r-- | testdata/primes.out | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/testdata/primes.lc b/testdata/primes.lc index 268d7e7b..76d39db0 100644 --- a/testdata/primes.lc +++ b/testdata/primes.lc | |||
@@ -50,5 +50,5 @@ primes = 2:3: filter (\n -> and $ map (\p -> n `mod` p /= 0) (takeWhile (\x -> x | |||
50 | (x: _) !! 0 = x | 50 | (x: _) !! 0 = x |
51 | (_ : xs) !! n = xs !! (n-1) | 51 | (_ : xs) !! n = xs !! (n-1) |
52 | 52 | ||
53 | main = primes !! 3000 | 53 | main = primes !! 2000 |
54 | 54 | ||
diff --git a/testdata/primes.out b/testdata/primes.out index f538ab96..aacee201 100644 --- a/testdata/primes.out +++ b/testdata/primes.out | |||
@@ -1,5 +1,5 @@ | |||
1 | main :: Int | 1 | main :: Int |
2 | main = 27457 | 2 | main = 17393 |
3 | ------------ desugared source code | 3 | ------------ desugared source code |
4 | infixr 0 $ | 4 | infixr 0 $ |
5 | 5 | ||
@@ -98,7 +98,7 @@ primes | |||
98 | (fromInt 0 == c)) | 98 | (fromInt 0 == c)) |
99 | b | 99 | b |
100 | 100 | ||
101 | main = _lhs main (_rhs (primes !! fromInt 3000)) | 101 | main = _lhs main (_rhs (primes !! fromInt 2000)) |
102 | ------------ core code | 102 | ------------ core code |
103 | !! :: forall a . [a] -> Int -> a | 103 | !! :: forall a . [a] -> Int -> a |
104 | !! | 104 | !! |
@@ -156,7 +156,7 @@ id :: forall a . a -> a | |||
156 | id = \a b -> _rhs b | 156 | id = \a b -> _rhs b |
157 | 157 | ||
158 | main :: Int | 158 | main :: Int |
159 | main = _rhs 27457 | 159 | main = _rhs 17393 |
160 | 160 | ||
161 | map :: forall a b . (a -> b) -> [a] -> [b] | 161 | map :: forall a b . (a -> b) -> [a] -> [b] |
162 | map = \a b c -> _rhs (foldr (\d e -> c d : e) []) | 162 | map = \a b c -> _rhs (foldr (\d e -> c d : e) []) |