@@ -97,5 +97,6 @@ time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
97usleep : (i : Int) -> { auto prf : So (i >= 0 && i <= 1000000) } -> IO ()
97usleep : (i : Int) -> { auto prf : So (i >= 0 && i <= 1000000) } -> IO ()
98usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
98usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
100+||| Execute a program and returns its exit status code.
100system : String -> IO Int
101system : String -> IO Int
101system cmd = foreign FFI_C "system" (String -> IO Int) cmd
102system cmd = foreign FFI_C "system" (String -> IO Int) cmd