@@ -64,7 +64,7 @@ time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
66||| Specify interval to sleep for, must be in range [0, 1000000]
66||| Specify interval to sleep for, must be in range [0, 1000000]
67−usleep : (i : Int) -> { auto prf : So (i > 0 && i <= 1000000) } -> IO ()
67+usleep : (i : Int) -> { auto prf : So (i >= 0 && i <= 1000000) } -> IO ()
68usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
68usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
70system : String -> IO Int
70system : String -> IO Int