git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1332 from Heather/system
5c485fdDavid Christiansen
libs/base/System.idr+3
compare with master
unifiedsplit
@@ -80,3 +80,6 @@ time = mkForeign (FFun "idris_time" [] FInt)
80usleep : Int -> IO ()
80usleep : Int -> IO ()
81usleep i = mkForeign (FFun "usleep" [FInt] FUnit) i
81usleep i = mkForeign (FFun "usleep" [FInt] FUnit) i
82
82
83+system : String -> IO Int
84+system cmd = mkForeign (FFun "system" [FString] FInt) cmd
85+