ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-11 08:55:23 +03:00
Code Issues Projects Releases Wiki Activity

Moved idris_usleep to idris_stdfgn

Browse Source
This commit is contained in:
Jonas Claeson 2020-01-21 08:54:25 +01:00
parent 0fd2dab506
commit 33be12cabe
4 changed files with 13 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
rts/idris_rts.c
View File

@ -1158,16 +1158,6 @@ void idris_disableBuffering(void) {
setvbuf(stdout, NULL, _IONBF, 0);
}
#ifndef SEL4
int idris_usleep(int usec) {
struct timespec t;
t.tv_sec = usec / 1000000;
t.tv_nsec = (usec % 1000000) * 1000;
return nanosleep(&t, NULL);
}
#endif // SEL4
void stackOverflow(void) {
fprintf(stderr, "Stack overflow");
exit(-1);

4
rts/idris_rts.h
View File

@ -507,10 +507,6 @@ const char *idris_getArg(int i);
// disable stdin/stdout buffering
void idris_disableBuffering(void);
#ifndef SEL4
int idris_usleep(int usec);
#endif // SEL4
// Handle stack overflow.
// Just reports an error and exits.

10
rts/idris_stdfgn.c
View File

@ -228,6 +228,16 @@ VAL idris_clock(VM* vm) {
return result;
}
#ifndef SEL4
int idris_usleep(int usec) {
struct timespec t;
t.tv_sec = usec / 1000000;
t.tv_nsec = (usec % 1000000) * 1000;
return nanosleep(&t, NULL);
}
#endif // SEL4
VAL idris_mkFileError(VM* vm) {
VAL result;
switch(errno) {

3
rts/idris_stdfgn.h
View File

@ -54,6 +54,9 @@ char* getEnvPair(int i);
VAL idris_time();
VAL idris_clock(VM* vm);
#ifndef SEL4
int idris_usleep(int usec);
#endif // SEL4
void idris_forceGC();