git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4189 from jfdm/fixup-ipkg-listings
a4258cdJan de Muijnck-Hughes
libs/base/base.ipkg+10
compare with master
unifiedsplit
@@ -7,12 +7,14 @@ modules = Control.Arrow
7 , Control.Category
7 , Control.Category
8 , Control.IOExcept
8 , Control.IOExcept
9 , Control.Isomorphism
9 , Control.Isomorphism
10+
10 , Control.Monad.Identity
11 , Control.Monad.Identity
11 , Control.Monad.Reader
12 , Control.Monad.Reader
12 , Control.Monad.RWS
13 , Control.Monad.RWS
13 , Control.Monad.State
14 , Control.Monad.State
14 , Control.Monad.Trans
15 , Control.Monad.Trans
15 , Control.Monad.Writer
16 , Control.Monad.Writer
17+
16 , Data.Bits
18 , Data.Bits
17 , Data.Buffer
19 , Data.Buffer
18 , Data.Complex
20 , Data.Complex
@@ -20,23 +22,31 @@ modules = Control.Arrow
20 , Data.Fin
22 , Data.Fin
21 , Data.HVect
23 , Data.HVect
22 , Data.IORef
24 , Data.IORef
25+
23 , Data.List
26 , Data.List
24 , Data.List.Quantifiers
27 , Data.List.Quantifiers
25 , Data.List.Views
28 , Data.List.Views
29+
26 , Data.Mod2
30 , Data.Mod2
27 , Data.Morphisms
31 , Data.Morphisms
28 , Data.Nat.Views
32 , Data.Nat.Views
29 , Data.Primitives.Views
33 , Data.Primitives.Views
30 , Data.So
34 , Data.So
35+
31 , Data.String
36 , Data.String
32 , Data.String.Views
37 , Data.String.Views
38+
33 , Data.Vect
39 , Data.Vect
34 , Data.Vect.Quantifiers
40 , Data.Vect.Quantifiers
35 , Data.Vect.Views
41 , Data.Vect.Views
42+
36 , Debug.Error
43 , Debug.Error
37 , Debug.Trace
44 , Debug.Trace
45+
38 , Language.Reflection.Utils
46 , Language.Reflection.Utils
47+
39 , Syntax.PreorderReasoning
48 , Syntax.PreorderReasoning
49+
40 , System
50 , System
41 , System.Concurrency.Channels
51 , System.Concurrency.Channels
42 , System.Concurrency.Raw
52 , System.Concurrency.Raw
libs/contrib/contrib.ipkg+5
@@ -33,11 +33,14 @@ modules = CFFI
33 , Data.Heap
33 , Data.Heap
34 , Data.IOArray
34 , Data.IOArray
35 , Data.List.Zipper
35 , Data.List.Zipper
36+
36 , Data.Matrix
37 , Data.Matrix
37 , Data.Matrix.Algebraic
38 , Data.Matrix.Algebraic
38 , Data.Matrix.Numeric
39 , Data.Matrix.Numeric
40+
39 , Data.Nat.DivMod
41 , Data.Nat.DivMod
40 , Data.Nat.DivMod.IteratedSubtraction
42 , Data.Nat.DivMod.IteratedSubtraction
43+
41 , Data.Pairs.Implicit
44 , Data.Pairs.Implicit
42 , Data.Rel
45 , Data.Rel
43 , Data.Sign
46 , Data.Sign
@@ -63,7 +66,9 @@ modules = CFFI
63
66
64 , Text.Lexer
67 , Text.Lexer
65 , Text.Lexer.Core
68 , Text.Lexer.Core
69+
66 , Text.Literate
70 , Text.Literate
71+
67 , Text.Parser
72 , Text.Parser
68 , Text.Parser.Core
73 , Text.Parser.Core
69
74
libs/effects/effects.ipkg+5−2
@@ -2,12 +2,16 @@ package effects
2
2
3opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"
3opts = "--nobasepkgs --partial-eval --typeintype -i ../prelude -i ../base"
4
4
5+modules = Effects
6+
5−modules = Effect.Default
7+ , Effect.Default
6 , Effect.Exception
8 , Effect.Exception
7 , Effect.File
9 , Effect.File
10+
8 , Effect.Logging.Category
11 , Effect.Logging.Category
9 , Effect.Logging.Default
12 , Effect.Logging.Default
10 , Effect.Logging.Level
13 , Effect.Logging.Level
14+
11 , Effect.Memory
15 , Effect.Memory
12 , Effect.Monad
16 , Effect.Monad
13 , Effect.Perf
17 , Effect.Perf
@@ -17,4 +21,3 @@ modules = Effect.Default
17 , Effect.StdIO
21 , Effect.StdIO
18 , Effect.System
22 , Effect.System
19 , Effect.Trans
23 , Effect.Trans
20− , Effects
libs/prelude/prelude.ipkg+5
@@ -3,12 +3,17 @@ package prelude
3opts = "--nobuiltins --total --no-elim-deprecation-warnings --partial-eval"
3opts = "--nobuiltins --total --no-elim-deprecation-warnings --partial-eval"
4
4
5modules = Builtins
5modules = Builtins
6+
6 , Decidable.Equality
7 , Decidable.Equality
8+
7 , IO
9 , IO
10+
8 , Language.Reflection
11 , Language.Reflection
9 , Language.Reflection.Elab
12 , Language.Reflection.Elab
10 , Language.Reflection.Errors
13 , Language.Reflection.Errors
14+
11 , Prelude
15 , Prelude
16+
12 , Prelude.Algebra
17 , Prelude.Algebra
13 , Prelude.Applicative
18 , Prelude.Applicative
14 , Prelude.Basics
19 , Prelude.Basics
libs/pruviloj/pruviloj.ipkg+5
@@ -3,12 +3,17 @@ package pruviloj
3opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"
3opts = "--nobasepkgs --partial-eval -i ../prelude -i ../base"
4
4
5modules = Pruviloj
5modules = Pruviloj
6+
6 , Pruviloj.Core
7 , Pruviloj.Core
8+
7 , Pruviloj.Derive.DecEq
9 , Pruviloj.Derive.DecEq
8 , Pruviloj.Derive.Eliminators
10 , Pruviloj.Derive.Eliminators
11+
9 , Pruviloj.Disjoint
12 , Pruviloj.Disjoint
10 , Pruviloj.Induction
13 , Pruviloj.Induction
11 , Pruviloj.Injective
14 , Pruviloj.Injective
15+
12 , Pruviloj.Internals
16 , Pruviloj.Internals
13 , Pruviloj.Internals.TyConInfo
17 , Pruviloj.Internals.TyConInfo
18+
14 , Pruviloj.Renamers
19 , Pruviloj.Renamers