Merge pull request #1332 from Heather/system
add system FFun to base/System
commit5c485fd5df37f99ebaecf4195e4a7a0238ff854d
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 26 Jun 2014, 17:55 (12 years ago)
parent853a63466235b7
libs/base/System.idr+3
@@ -80,3 +80,6 @@ time = mkForeign (FFun "idris_time" [] FInt)
8080usleep : Int -> IO ()
8181usleep i = mkForeign (FFun "usleep" [FInt] FUnit) i
8282
83+system : String -> IO Int
84+system cmd = mkForeign (FFun "system" [FString] FInt) cmd
85+