diff --git a/test/folding002/expected b/test/folding002/expected
deleted file mode 100644
index 579a3020e..000000000
--- a/test/folding002/expected
+++ /dev/null
@@ -1,2 +0,0 @@
-5000050000
-5000050000
diff --git a/test/folding002/folding002.idr b/test/folding002/folding002.idr
deleted file mode 100644
index 76f8ee9cc..000000000
--- a/test/folding002/folding002.idr
+++ /dev/null
@@ -1,25 +0,0 @@
-import Data.Vect
-
--- perform a very large foldr to test tail recursion
-addAll : (Foldable t, Num a) => t a -> a
-addAll = foldr (+) 0
-
-n : Integer
-n = 100000
-
-numbersList : List Integer
-numbersList = numbersList' n []
- where
-   numbersList' : Integer -> List Integer -> List Integer
-   numbersList' 0 xs = xs
-   numbersList' k xs = numbersList' (k - 1) (fromInteger k :: xs)
-
-numbersVect : Vect (length numbersList) Integer
-numbersVect = fromList numbersList
-
-main : IO ()
-main = do
-  putStrLn . show . addAll $ numbersVect
-  putStrLn . show . addAll $ numbersList
-
-
diff --git a/test/folding002/run b/test/folding002/run
deleted file mode 100755
index 030dcfda7..000000000
--- a/test/folding002/run
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-idris $@ folding002.idr -o folding002
-./folding002
-rm -f folding002 *.ibc