git.iko.soy/Idris-dev
on master help sign in
Tidied up the ipkg listing.
bb6f3abJan de Muijnck-Hughes
libs/contrib/Test/Unit/Runners.idr+4−3
compare with master
unifiedsplit
@@ -12,8 +12,8 @@ import Test.Unit.Display
12%access export
12%access export
13
13
14namespace NonReporting
14namespace NonReporting
15− ||| Run the given set of tests, but don't report results.
15+ ||| Run the given set of tests, but don't return the results.
16− runTests : List (IO a) -> IO ()
16+ runTests : List (IO Bool) -> IO ()
17 runTests Nil = do
17 runTests Nil = do
18 putStrLn "All Tests have been performed."
18 putStrLn "All Tests have been performed."
19 putStrLn succLine
19 putStrLn succLine
@@ -21,10 +21,11 @@ namespace NonReporting
21
21
22namespace Reporting
22namespace Reporting
23 ||| Run the given set of tests and return the results.
23 ||| Run the given set of tests and return the results.
24− runTests : List (IO a) -> IO (List a)
24+ runTests : List (IO Bool) -> IO (List Bool)
25 runTests Nil = do
25 runTests Nil = do
26 putStrLn "All tests have been performed."
26 putStrLn "All tests have been performed."
27 putStrLn succLine
27 putStrLn succLine
28+ pure Nil
28 runTests (x::xs) = do
29 runTests (x::xs) = do
29 r <- x
30 r <- x
30 rs <- Reporting.runTests xs
31 rs <- Reporting.runTests xs
libs/contrib/contrib.ipkg+16−4
@@ -5,18 +5,22 @@ opts = "--nobasepkgs --partial-eval --total -i ../prelude -i ../base"
5modules = CFFI
5modules = CFFI
6 , CFFI.Memory
6 , CFFI.Memory
7 , CFFI.Types
7 , CFFI.Types
8+
8 , Control.Algebra
9 , Control.Algebra
9 , Control.Algebra.Lattice
10 , Control.Algebra.Lattice
10 , Control.Algebra.NumericImplementations
11 , Control.Algebra.NumericImplementations
11 , Control.Algebra.VectorSpace
12 , Control.Algebra.VectorSpace
13+
12 , Control.Delayed
14 , Control.Delayed
13 , Control.Isomorphism.Primitives
15 , Control.Isomorphism.Primitives
14 , Control.Partial
16 , Control.Partial
15 , Control.Pipeline
17 , Control.Pipeline
18+
16 , Control.ST
19 , Control.ST
17 , Control.ST.Exception
20 , Control.ST.Exception
18 , Control.ST.ImplicitCall
21 , Control.ST.ImplicitCall
19 , Control.ST.Random
22 , Control.ST.Random
23+
20 , Data.Bool.Extra
24 , Data.Bool.Extra
21 , Data.BoundedList
25 , Data.BoundedList
22 , Data.CoList
26 , Data.CoList
@@ -43,27 +47,35 @@ modules = CFFI
43 , Data.Stream.Extra
47 , Data.Stream.Extra
44 , Data.String.Extra
48 , Data.String.Extra
45 , Data.ZZ
49 , Data.ZZ
50+
46 , Decidable.Decidable
51 , Decidable.Decidable
47 , Decidable.Order
52 , Decidable.Order
53+
48 , Interfaces.Correlative
54 , Interfaces.Correlative
49 , Interfaces.Verified
55 , Interfaces.Verified
56+
50 , Network.Cgi
57 , Network.Cgi
51 , Network.Socket
58 , Network.Socket
52 , Network.Socket.Data
59 , Network.Socket.Data
53 , Network.Socket.Raw
60 , Network.Socket.Raw
61+
54 , System.Concurrency.Process
62 , System.Concurrency.Process
63+
55 , Text.Lexer
64 , Text.Lexer
56 , Text.Lexer.Core
65 , Text.Lexer.Core
57 , Text.Literate
66 , Text.Literate
58 , Text.Parser
67 , Text.Parser
59 , Text.Parser.Core
68 , Text.Parser.Core
60− , Text.PrettyPrint.WL
69+
61− , Text.PrettyPrint.WL.Characters
62− , Text.PrettyPrint.WL.Combinators
63 , Text.PrettyPrint.WL.Core
70 , Text.PrettyPrint.WL.Core
71+ , Text.PrettyPrint.WL.Combinators
72+ , Text.PrettyPrint.WL.Characters
73+ , Text.PrettyPrint.WL
74+
64 , Text.Quantity
75 , Text.Quantity
76+
65 , Test.Unit.Display
77 , Test.Unit.Display
66 , Test.Unit.Runners
78 , Test.Unit.Runners
67− , Test.Unit.Assertions
68 , Test.Unit.Generic
79 , Test.Unit.Generic
80+ , Test.Unit.Assertions
69 , Test.Unit
81 , Test.Unit