Delete folding002 test.

It tested for tailcalls that have been removed.

test/folding002/expected

@@ -1,2 +0,0 @@
-5000050000
-5000050000

test/folding002/folding002.idr

@@ -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
-
-

test/folding002/run

@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-idris $@ folding002.idr -o folding002
-./folding002
-rm -f folding002 *.ibc