Merge pull request #4006 from ivanov/add-system-doc
add System.system documentation
commitbb5e94378dffe50ece1f0efbcbe82a87d68b948b
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateSat 19 Aug 2017, 15:19 (9 years ago)
parentb35296045b90de
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