summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-09-16 15:27:37 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-09-16 15:27:37 +0200
commit0926ee8c49e52a7cd0b1fa3187f46df4305c97c5 (patch)
tree9a3cb65ae977f48c71bafe8e9fbb117db203864a
parentc5674092d3734e4cbe9f5e31cd9c38920f07c03c (diff)
update primes test because it sometimes causes timeout during the performance report
-rw-r--r--testdata/primes.lc2
-rw-r--r--testdata/primes.out6
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
53main = primes !! 3000 53main = 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 @@
1main :: Int 1main :: Int
2main = 27457 2main = 17393
3------------ desugared source code 3------------ desugared source code
4infixr 0 $ 4infixr 0 $
5 5
@@ -98,7 +98,7 @@ primes
98 (fromInt 0 == c)) 98 (fromInt 0 == c))
99 b 99 b
100 100
101main = _lhs main (_rhs (primes !! fromInt 3000)) 101main = _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
156id = \a b -> _rhs b 156id = \a b -> _rhs b
157 157
158main :: Int 158main :: Int
159main = _rhs 27457 159main = _rhs 17393
160 160
161map :: forall a b . (a -> b) -> [a] -> [b] 161map :: forall a b . (a -> b) -> [a] -> [b]
162map = \a b c -> _rhs (foldr (\d e -> c d : e) []) 162map = \a b c -> _rhs (foldr (\d e -> c d : e) [])