add System.system documentation
commit45b90de3350be7b88fd9baa6fe89cce12b1b5030
authorPaul Ivanov <pi@berkeley.edu>
dateFri 18 Aug 2017, 15:13 (9 years ago)
parentb352960
libs/base/System.idr+1
@@ -97,5 +97,6 @@ time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
9797usleep : (i : Int) -> { auto prf : So (i >= 0 && i <= 1000000) } -> IO ()
9898usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
9999
100+||| Execute a program and returns its exit status code.
100101system : String -> IO Int
101102system cmd = foreign FFI_C "system" (String -> IO Int) cmd