git.iko.soy/Idris-dev
on master help sign in
Move List quantifiers to base
0b60abdDavid Raymond Christiansen
idris.cabal+1
compare with master
unifiedsplit
@@ -115,6 +115,7 @@ Extra-source-files:
115 libs/base/Control/*.idr
115 libs/base/Control/*.idr
116 libs/base/Control/Monad/*.idr
116 libs/base/Control/Monad/*.idr
117 libs/base/Data/*.idr
117 libs/base/Data/*.idr
118+ libs/base/Data/List/*.idr
118 libs/base/Data/Vect/*.idr
119 libs/base/Data/Vect/*.idr
119 libs/base/Debug/*.idr
120 libs/base/Debug/*.idr
120 libs/base/Language/Reflection/*.idr
121 libs/base/Language/Reflection/*.idr
libs/contrib/Data/List/Quantifiers.idr → libs/base/Data/List/Quantifiers.idrrenamed

The content is the same.

libs/base/base.ipkg+1
@@ -17,6 +17,7 @@ modules = System,
17 Data.HVect, Data.Vect.Quantifiers,
17 Data.HVect, Data.Vect.Quantifiers,
18 Data.Complex,
18 Data.Complex,
19 Data.Erased, Data.List,
19 Data.Erased, Data.List,
20+ Data.List.Quantifiers,
20 Data.So, Data.String,
21 Data.So, Data.String,
21
22
22 Control.Isomorphism,
23 Control.Isomorphism,
libs/contrib/contrib.ipkg−1
@@ -17,7 +17,6 @@ modules = Control.Algebra,
17 Data.Heap,
17 Data.Heap,
18 Data.SortedMap, Data.SortedSet,
18 Data.SortedMap, Data.SortedSet,
19 Data.CoList,
19 Data.CoList,
20− Data.List.Quantifiers,
21
20
22 Decidable.Decidable, Decidable.Order,
21 Decidable.Decidable, Decidable.Order,
23
22