git.iko.soy/Idris-dev
on master help sign in
Move System.Concurrency.Raw back to base
059dafbDavid Raymond Christiansen
idris.cabal+1
compare with master
unifiedsplit
@@ -108,6 +108,7 @@ Extra-source-files:
108 libs/base/Makefile
108 libs/base/Makefile
109 libs/base/Network/*.idr
109 libs/base/Network/*.idr
110 libs/base/System/*.idr
110 libs/base/System/*.idr
111+ libs/base/System/Concurrency/*.idr
111 libs/base/Syntax/*.idr
112 libs/base/Syntax/*.idr
112
113
113 libs/contrib/contrib.ipkg
114 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,
31 Control.Monad.Trans,
31 Control.Monad.Trans,
32 Control.Monad.State, Control.Monad.Writer, Control.Monad.Reader,
32 Control.Monad.State, Control.Monad.Writer, Control.Monad.Reader,
33 Control.Category, Control.Arrow,
33 Control.Category, Control.Arrow,
34− Control.Catchable, Control.IOExcept
34+ Control.Catchable, Control.IOExcept,
35+
36+ System.Concurrency.Raw
35
37
libs/contrib/contrib.ipkg+1−1
@@ -8,4 +8,4 @@ modules = Data.Fun, Data.Rel, Data.Buffer,
8
8
9 Network.Cgi,
9 Network.Cgi,
10
10
11− System.Concurrency.Process, System.Concurrency.Raw
11+ System.Concurrency.Process