Remove legacy Prelude tests
commitf8d42ba41f7ddb3e52fb2117e097c68217800ada
authorPhil Freeman <paf31@cantab.net>
dateWed 19 Mar 2014, 19:58 (13 years ago)
parenta1d7ff1
prelude/tests/.gitignoredeleted−1
prelude/tests/Eff.pursdeleted−60
@@ -1,60 +0,0 @@
1−module Tests where
2−
3−import Prelude
4−import Eff
5−import Errors
6−import Trace
7−import Global
8−
9−test1 n = runPure (catchError (\s -> return 0) $ do
10− case {} of
11− _ | n > 10 -> do
12− throwError "Error!"
13− _ -> return n)
14−
15−test2 = do
16− trace "Hello World"
17− throwError "Error!"
18−
19−test3 n = catchError (\s -> return 0) $ do
20− case {} of
21− _ | n > 10 -> do
22− trace "n > 10"
23− throwError "Error!"
24− _ -> return n
25−
26−test4 = do
27− trace "Hello World!"
28− return 0
29−
30−test5 _ = do
31− trace "Hello World!"
32− test5 {}
33−
34−test6 s = do
35− trace s
36− test6 (s ++ " test")
37−
38−import ST
39−
40−test7 _ = do
41− n <- runST (do
42− r <- newSTRef 0
43− modifySTRef r $ \n -> n + 1
44− readSTRef r)
45− print n
46−
47−test8 _ = (\_1 _2 -> {}) <$> print "Test" <*> print 8
48−
49−test9 _ = runST (do
50− r <- newSTRef 1
51− whileE (return true) $ do
52− n <- readSTRef r
53− trace $ "Count " ++ show n
54− modifySTRef r $ (+) 1)
55−
56−module Main where
57−
58−import Tests
59−
60−main = test5 {}
prelude/tests/build.shdeleted−2
@@ -1,2 +0,0 @@
1−psc ../prelude.purs Eff.purs --magic-do --tco --run-main --no-prelude --entry-point Main -o Eff.js
2−