ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 01:25:05 +03:00
Code Issues Projects Releases Wiki Activity

Move System.Concurrency.Raw back to base

Browse Source
This commit is contained in:
David Raymond Christiansen 2015-03-19 11:02:17 +01:00
parent 30fe3d7c03
commit 059dafbe6c
4 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
idris.cabal
View File

@ -108,6 +108,7 @@ Extra-source-files:
libs/base/Makefile
libs/base/Network/*.idr
libs/base/System/*.idr
libs/base/System/Concurrency/*.idr
libs/base/Syntax/*.idr
libs/contrib/contrib.ipkg

0
libs/contrib/System/Concurrency/Raw.idr → libs/base/System/Concurrency/Raw.idr
View File

4
libs/base/base.ipkg
View File

@ -31,5 +31,7 @@ modules = System,
Control.Monad.Trans,
Control.Monad.State, Control.Monad.Writer, Control.Monad.Reader,
Control.Category, Control.Arrow,
Control.Catchable, Control.IOExcept
Control.Catchable, Control.IOExcept,
System.Concurrency.Raw

2
libs/contrib/contrib.ipkg
View File

@ -8,4 +8,4 @@ modules = Data.Fun, Data.Rel, Data.Buffer,
Network.Cgi,
System.Concurrency.Process, System.Concurrency.Raw
System.Concurrency.Process