ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 14:38:20 +03:00
Code Issues Projects Releases Wiki Activity

Add 'time' function

Browse Source
This commit is contained in:
Edwin Brady 2014-02-28 10:18:41 +00:00
parent 4fef6507d3
commit 94750e3660
3 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libs/base/System.idr
View File

@ -71,6 +71,9 @@ getEnvironment = getAllPairs 0 []
exit : Int -> IO ()
exit code = mkForeign (FFun "exit" [FInt] FUnit) code
time : IO Int
time = mkForeign (FFun "idris_time" [] FInt)
usleep : Int -> IO ()
usleep i = mkForeign (FFun "usleep" [FInt] FUnit) i

7
rts/idris_stdfgn.c
View File

@ -3,6 +3,7 @@
#include <sys/select.h>
#include <fcntl.h>
#include <stdio.h>
#include <time.h>
extern char** environ;
@ -73,3 +74,9 @@ void* idris_stdin() {
char* getEnvPair(int i) {
return *(environ + i);
}
int idris_time() {
time_t t = time(NULL);
return (int)t;
}

2
rts/idris_stdfgn.h
View File

@ -21,4 +21,6 @@ void* idris_stdin();
char* getEnvPair(int i);
int idris_time();
#endif