@@ -56,7 +56,7 @@ getEnvironment = getAllPairs 0 []
56exit : Int -> IO ()
56exit : Int -> IO ()
57exit code = foreign FFI_C "exit" (Int -> IO ()) code
57exit code = foreign FFI_C "exit" (Int -> IO ()) code
59−||| Get the numbers of sections since 1st January 1970, 00:00 UTC
59+||| Get the numbers of seconds since 1st January 1970, 00:00 UTC
60time : IO Integer
60time : IO Integer
61time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
61time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))