[project @ 2001-08-22 12:24:41 by simonmar]

[ghc-hetmet.git] / ghc / tests / lib / should_run / list001.hs

diff --git a/ghc/tests/lib/should_run/list001.hs b/ghc/tests/lib/should_run/list001.hs
deleted file mode 100644 (file)
index a1ea650..0000000
--- a/ghc/tests/lib/should_run/list001.hs
+++ /dev/null
@@ -1,152 +0,0 @@
-module Main where
-
-import List
-import Exception
-import Prelude hiding (catch)
-
--- This module briefly tests all the functions in PrelList and a few
--- from List.
-
--- ToDo: test strictness properties.
-
-main = do
-
-  -- head
-  print (head [1,2,3,4], head "a")
-  catch (print (head [] :: String)) (\_ -> putStr "head []\n")
-
-  -- tail
-  print (tail [1,2,3,4], tail "a")
-  catch (print (tail [] :: String)) (\_ -> putStr "tail []\n")
-
-  -- init
-  print (init [1,2,3,4], init "a")
-  catch (print (init [] :: String)) (\_ -> putStr "init []\n")
-
-  -- last
-  print (last [1,2,3,4], last "a")
-  catch (print (last [] :: String)) (\_ -> putStr "last []\n")
-
-  -- null
-  print [null [], null "abc"]
-
-  -- length
-  print (length [1..10])
-
-  -- foldl
-  print (foldl  (+) 1 [1..10])
-
-  -- foldl1
-  print (foldl1 (+) [1..10])
-  catch (print (foldl1 (+) [] :: Int)) (\_ -> putStr "foldl1 []\n")
-
-  -- scanl
-  print (scanl  (+) 1 [1..10])
-
-  -- scanl1
-  print (scanl1 (+) [1..10])
-  catch (print (scanl1 (+) [] :: [Int])) (\_ -> putStr "scanl1 []\n")
-
-  -- foldr1
-  print (foldr1 (+) [1..10])
-  catch (print (foldr1 (+) [] :: Int)) (\_ -> putStr "foldr1 []\n")
-
-  -- scanr
-  print (scanr  (+) 1 [1..10])
-
-  -- scanr1
-  print (scanr1 (+) [1..10])
-  catch (print (scanr1 (+) [] :: [Int])) (\_ -> putStr "scanr1 []\n")
-
-  -- iterate
-  print (take 10 (cycle (take 4 (iterate (+1) 1))))
-
-  -- take
-  print (take 4 (repeat "x"), take 0 (repeat "x"), take 5 [1..4])
-  catch (print (take (-1) [1..10])) (\_ -> putStr "take (-1)\n")
-
-  -- replicate
-  print [replicate 2 "abc", replicate 0 "abc", replicate 3 []]
-
-  -- drop
-  print [drop 5 [1..10], drop 0 [1..10], drop 5 [1..4]]
-  catch (print (drop (-1) [1..10])) (\_ -> putStr "drop (-1)\n")
-
-  -- splitAt
-  print [splitAt 5 [1..10], splitAt 5 [1..4]]
-  catch (print (splitAt (-1) [1..10])) (\_ -> putStr "splitAt (-1)\n")
-
-  -- scan
-  print (span (<5) [1..10])
-
-  -- break
-  print (break (<5) [1..10])
-
-  -- reverse
-  print [reverse [1..10], reverse []]
-
-  -- and
-  print [and [], and [True], and [False]]
-
-  -- or
-  print [or [], or [True], or [False]]
-
-  -- elem
-  print [elem 5 [1..10], elem 0 [1..10], elem 1 []]
-
-  -- notElem
-  print [notElem 5 [1..10], notElem 0 [1..10], notElem 1 []]
-
-  -- lookkup
-  print (lookup 4 (zip [1..10] (reverse [1..10])))
-
-  -- sum
-  print [sum [1..10], sum []]
-
-  -- product
-  print [product [1..10], product []]
-
-  -- maximum
-  print (maximum [1..10])
-  catch (print (maximum [] :: Int)) (\_ -> putStr "maximum []\n")
-
-  -- minimum
-  print (minimum [1..10])
-  catch (print (minimum [] :: Int)) (\_ -> putStr "minimum []\n")
-
-  -- concatMap
-  print (concatMap (:[]) [(1::Int)..10])
-
-  -- zip
-  print [zip [1] [2], zip [1] [], zip [] [2], zip [1..5] [2..6]]
-
-  -- zip3
-  print (zip3 [1,2] [3,4] [5,6])
-
-  -- zipWith
-  print [zipWith (+) [1,2] [3,4], zipWith (+) [1] [], zipWith (+) [] []]
-
-  -- unzip
-  print [unzip [(1,2),(3,4)], unzip []]
-
-  -- unzip3
-  print [unzip3 [(1,2,3),(3,4,5)], unzip3 []]
-
-  -- unlines
-  print (unlines (lines "a\nb\nc\n"), lines "", unlines [])
-
-  -- words
-  print (unwords (words "a b c d"),   words "", unwords [])
-
-  -- deleteBy
-  print [deleteBy (==) 1 [0,1,1,2,3,4], 
-        deleteBy (==) (error "deleteBy") []]
-
-  -- delete
-  print [delete 1 [0,1,1,2,3,4], 
-        delete (error "delete") []]
-  
-  -- \\
-  print [ [0,1,1,2,3,4] \\ [3,2,1],  
-         [1,2,3,4] \\ [],  
-         [] \\ [error "\\\\"] ]