git.iko.soy/Idris-dev
on master help sign in
Fix idris.cabal and base.ipkg to include Data.Vect.*
2fc3c3aEdwin Brady
idris.cabal+1
compare with master
unifiedsplit
@@ -58,6 +58,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
58 lib/Control/Monad/*.idr lib/Language/*.idr
58 lib/Control/Monad/*.idr lib/Language/*.idr
59 lib/System/Concurrency/*.idr
59 lib/System/Concurrency/*.idr
60 lib/Data/*.idr lib/Debug/*.idr
60 lib/Data/*.idr lib/Debug/*.idr
61+ lib/Data/Vect/*.idr
61 lib/Decidable/*.idr
62 lib/Decidable/*.idr
62 tutorial/examples/*.idr lib/base.ipkg
63 tutorial/examples/*.idr lib/base.ipkg
63 effects/Makefile effects/*.idr effects/Effect/*.idr
64 effects/Makefile effects/*.idr effects/Effect/*.idr
lib/base.ipkg+1−1
@@ -23,7 +23,7 @@ modules = Builtins, Prelude, IO, System,
23
23
24 Data.Morphisms, Data.Bits, Data.Mod2, Data.Z, Data.Sign,
24 Data.Morphisms, Data.Bits, Data.Mod2, Data.Z, Data.Sign,
25 Data.SortedMap, Data.SortedSet, Data.BoundedList,
25 Data.SortedMap, Data.SortedSet, Data.BoundedList,
26− Data.Vect.Quantifiers
26+ Data.Vect.Quantifiers,
27
27
28 Control.Monad.Identity, Control.Monad.State, Control.Category,
28 Control.Monad.Identity, Control.Monad.State, Control.Category,
29 Control.Arrow,
29 Control.Arrow,