reach the 3000th prime

2 files changed, 6 insertions, 6 deletions

diff --git a/testdata/primes.lc b/testdata/primes.lc
index 612941e1..268d7e7b 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
 (x: _) !! 0 = x
 (_ : xs) !! n = xs !! (n-1)
 
-main = primes !! 130
+main = primes !! 3000
 
diff --git a/testdata/primes.out b/testdata/primes.out
index aa9f5a22..f538ab96 100644
--- a/testdata/primes.out
+++ b/testdata/primes.out
@@ -1,5 +1,5 @@
 main :: Int
-main = 739
+main = 27457
 ------------ desugared source code
 infixr 0 $
 
@@ -98,7 +98,7 @@ primes
           (fromInt 0 == c))
         b
 
-main = _lhs main (_rhs (primes !! fromInt 130))
+main = _lhs main (_rhs (primes !! fromInt 3000))
 ------------ core code
 !! :: forall a . [a] -> Int -> a
 !!
@@ -156,7 +156,7 @@ id :: forall a . a -> a
 id = \a b -> _rhs b
 
 main :: Int
-main = _rhs 739
+main = _rhs 27457
 
 map :: forall a b . (a -> b) -> [a] -> [b]
 map = \a b c -> _rhs (foldr (\d e -> c d : e) [])
@@ -538,11 +538,11 @@ takeWhile
     [Int]
 53:8-53:17
     Int -> Int
-53:8-53:21
+53:8-53:22
     Int
 53:15-53:17
     forall a . [a] -> Int -> a
-53:18-53:21
+53:18-53:22
     _b
 ------------ warnings
 Uncovered pattern(s) at ./testdata/primes.lc:50:8: