git.iko.soy/Idris-dev
on master help sign in
Fix idris.cabal and base.ipkg to include Data.Vect.*
commit2fc3c3a8f51705b8c7aa37de5d13d756a9a3bd37 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 2 May 2013, 12:33 (13 years ago) parentce39374
2 files changed+2−1
compare with master
unifiedsplit
idris.cabal+1 lib/base.ipkg+1−1
idris.cabal+1
@@ -58,6 +58,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
5858 lib/Control/Monad/*.idr lib/Language/*.idr
5959 lib/System/Concurrency/*.idr
6060 lib/Data/*.idr lib/Debug/*.idr
61+ lib/Data/Vect/*.idr
6162 lib/Decidable/*.idr
6263 tutorial/examples/*.idr lib/base.ipkg
6364 effects/Makefile effects/*.idr effects/Effect/*.idr
lib/base.ipkg+1−1
@@ -23,7 +23,7 @@ modules = Builtins, Prelude, IO, System,
2323
2424 Data.Morphisms, Data.Bits, Data.Mod2, Data.Z, Data.Sign,
2525 Data.SortedMap, Data.SortedSet, Data.BoundedList,
26− Data.Vect.Quantifiers
26+ Data.Vect.Quantifiers,
2727
2828 Control.Monad.Identity, Control.Monad.State, Control.Category,
2929 Control.Arrow,