git.iko.soy/Idris-dev
on master help sign in
Tidied up the ipkg listing.
commitbb6f3abdecde7a366415961afcb6d4c750a3c37d authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk> dateThu 9 Nov 2017, 10:13 (9 years ago) parent28fc390
2 files changed+20−7
compare with master
unifiedsplit
libs/contrib/Test/Unit/Runners.idr+4−3 libs/contrib/contrib.ipkg+16−4
libs/contrib/Test/Unit/Runners.idr+4−3
@@ -12,8 +12,8 @@ import Test.Unit.Display
1212%access export
1313
1414namespace NonReporting
15− ||| Run the given set of tests, but don't report results.
16− runTests : List (IO a) -> IO ()
15+ ||| Run the given set of tests, but don't return the results.
16+ runTests : List (IO Bool) -> IO ()
1717 runTests Nil = do
1818 putStrLn "All Tests have been performed."
1919 putStrLn succLine
@@ -21,10 +21,11 @@ namespace NonReporting
2121
2222namespace Reporting
2323 ||| 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)
2525 runTests Nil = do
2626 putStrLn "All tests have been performed."
2727 putStrLn succLine
28+ pure Nil
2829 runTests (x::xs) = do
2930 r <- x
3031 rs <- Reporting.runTests xs
libs/contrib/contrib.ipkg+16−4
@@ -5,18 +5,22 @@ opts = "--nobasepkgs --partial-eval --total -i ../prelude -i ../base"
55modules = CFFI
66 , CFFI.Memory
77 , CFFI.Types
8+
89 , Control.Algebra
910 , Control.Algebra.Lattice
1011 , Control.Algebra.NumericImplementations
1112 , Control.Algebra.VectorSpace
13+
1214 , Control.Delayed
1315 , Control.Isomorphism.Primitives
1416 , Control.Partial
1517 , Control.Pipeline
18+
1619 , Control.ST
1720 , Control.ST.Exception
1821 , Control.ST.ImplicitCall
1922 , Control.ST.Random
23+
2024 , Data.Bool.Extra
2125 , Data.BoundedList
2226 , Data.CoList
@@ -43,27 +47,35 @@ modules = CFFI
4347 , Data.Stream.Extra
4448 , Data.String.Extra
4549 , Data.ZZ
50+
4651 , Decidable.Decidable
4752 , Decidable.Order
53+
4854 , Interfaces.Correlative
4955 , Interfaces.Verified
56+
5057 , Network.Cgi
5158 , Network.Socket
5259 , Network.Socket.Data
5360 , Network.Socket.Raw
61+
5462 , System.Concurrency.Process
63+
5564 , Text.Lexer
5665 , Text.Lexer.Core
5766 , Text.Literate
5867 , Text.Parser
5968 , Text.Parser.Core
60− , Text.PrettyPrint.WL
61− , Text.PrettyPrint.WL.Characters
62− , Text.PrettyPrint.WL.Combinators
69+
6370 , Text.PrettyPrint.WL.Core
71+ , Text.PrettyPrint.WL.Combinators
72+ , Text.PrettyPrint.WL.Characters
73+ , Text.PrettyPrint.WL
74+
6475 , Text.Quantity
76+
6577 , Test.Unit.Display
6678 , Test.Unit.Runners
67− , Test.Unit.Assertions
6879 , Test.Unit.Generic
80+ , Test.Unit.Assertions
6981 , Test.Unit