add system FFun to base/System
commit66235b76fb2e1cee0d7a655cb1def12df76ff8b8
authorHeather <heather@live.ru>
dateThu 26 Jun 2014, 12:50 (12 years ago)
parent88d5ab0
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+