1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
module System.Process
( getPID, system, exitWith, sleep )
where
import System.Environment
getPID :: IO Int
getPID external
system :: String -> IO Int
system cmd = prim_system $## escapedCmd
where
win = isWindows
escapedCmd = if win then '"' : cmd ++ "\""
else cmd
prim_system :: String -> IO Int
prim_system external
exitWith :: Int -> IO _
exitWith exitcode = prim_exitWith $# exitcode
prim_exitWith :: Int -> IO _
prim_exitWith external
sleep :: Int -> IO ()
sleep n = prim_sleep $# n
prim_sleep :: Int -> IO ()
prim_sleep external
|