git.iko.soy/Idris-dev
on master help sign in
Move System.Concurrency.Raw back to base
commit059dafbe6ced1688bbbe608dcbed2a9cb4abfb71 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateThu 19 Mar 2015, 11:02 (12 years ago) parent30fe3d7
4 files changed+5−2
compare with master
unifiedsplit
idris.cabal+1 libs/contrib/System/Concurrency/Raw.idr → libs/base/System/Concurrency/Raw.idr libs/base/base.ipkg+3−1 libs/contrib/contrib.ipkg+1−1
idris.cabal+1
@@ -108,6 +108,7 @@ Extra-source-files:
108108 libs/base/Makefile
109109 libs/base/Network/*.idr
110110 libs/base/System/*.idr
111+ libs/base/System/Concurrency/*.idr
111112 libs/base/Syntax/*.idr
112113
113114 libs/contrib/contrib.ipkg
libs/contrib/System/Concurrency/Raw.idr → libs/base/System/Concurrency/Raw.idrrenamed

The content is the same.

libs/base/base.ipkg+3−1
@@ -31,5 +31,7 @@ modules = System,
3131 Control.Monad.Trans,
3232 Control.Monad.State, Control.Monad.Writer, Control.Monad.Reader,
3333 Control.Category, Control.Arrow,
34− Control.Catchable, Control.IOExcept
34+ Control.Catchable, Control.IOExcept,
35+
36+ System.Concurrency.Raw
3537
libs/contrib/contrib.ipkg+1−1
@@ -8,4 +8,4 @@ modules = Data.Fun, Data.Rel, Data.Buffer,
88
99 Network.Cgi,
1010
11− System.Concurrency.Process, System.Concurrency.Raw
11+ System.Concurrency.Process