Move Network code to contrib
commite6c5588fcced0e80eec06d3be4c2cd406599d258
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 19 Mar 2015, 11:09 (12 years ago)
parent059dafb
idris.cabal−1
@@ -106,7 +106,6 @@ Extra-source-files:
106106 libs/base/Debug/*.idr
107107 libs/base/Language/Reflection/*.idr
108108 libs/base/Makefile
109− libs/base/Network/*.idr
110109 libs/base/System/*.idr
111110 libs/base/System/Concurrency/*.idr
112111 libs/base/Syntax/*.idr
libs/base/base.ipkg−1
@@ -3,7 +3,6 @@ package base
33opts = "--nobasepkgs --total -i ../prelude"
44modules = System,
55
6− Network.Socket,
76 Debug.Error, Debug.Trace,
87
98 System.Info,
libs/base/Network/Socket.idr → libs/contrib/Network/Socket.idrrenamed
The content is the same.
libs/contrib/contrib.ipkg+1−1
@@ -6,6 +6,6 @@ modules = Data.Fun, Data.Rel, Data.Buffer,
66
77 Decidable.Decidable, Decidable.Order,
88
9− Network.Cgi,
9+ Network.Cgi, Network.Socket
1010
1111 System.Concurrency.Process