diff options
Diffstat (limited to 'CLPM')
| -rw-r--r-- | CLPM/Util.dcl | 2 | ||||
| -rw-r--r-- | CLPM/Util.icl | 2 |
2 files changed, 2 insertions, 2 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) diff --git a/CLPM/Util.icl b/CLPM/Util.icl index 282c580..cea514c 100644 --- a/CLPM/Util.icl +++ b/CLPM/Util.icl @@ -80,7 +80,7 @@ where = (Error $ server_name + " hung up during transmission.", chan, w) = receiveRest {resp & rsp_data=resp.rsp_data + toString (fromJust newresp)} chan w -syscall :: !String !*World -> !*(!Int, !*World) +syscall :: !String !*World -> *(!Int, !*World) syscall cmd w = code { ccall system "s:I:A" } |