aboutsummaryrefslogtreecommitdiff
path: root/CLPM/Util.dcl
diff options
context:
space:
mode:
authorCamil Staps2017-02-08 17:17:59 +0100
committerCamil Staps2017-02-08 17:17:59 +0100
commitdde4f8bad104b44db97eab26d0be864d7cefe000 (patch)
treef561edc41399412cdc194241db0aa3d8aa833946 /CLPM/Util.dcl
parentImproved installation (diff)
Propagate clm return code
Diffstat (limited to 'CLPM/Util.dcl')
-rw-r--r--CLPM/Util.dcl2
1 files changed, 1 insertions, 1 deletions
diff --git a/CLPM/Util.dcl b/CLPM/Util.dcl
index 76583f0..abad232 100644
--- a/CLPM/Util.dcl
+++ b/CLPM/Util.dcl
@@ -14,5 +14,5 @@ parse :: (String -> MaybeErrorString a) | Parse a
doRequest :: HTTPRequest *World -> *(MaybeErrorString HTTPResponse, *World)
-syscall :: !String !*World -> !*(!Int, !*World)
+syscall :: !String !*World -> *(!Int, !*World)
recursivelyRemove :: !FilePath !*World -> *(MaybeErrorString (), !*World)