git.iko.soy/Idris-dev
on master help sign in
Moved idris_usleep to idris_stdfgn
33be12cJonas Claeson
rts/idris_rts.c−10
compare with master
unifiedsplit
@@ -1158,16 +1158,6 @@ void idris_disableBuffering(void) {
1158 setvbuf(stdout, NULL, _IONBF, 0);
1158 setvbuf(stdout, NULL, _IONBF, 0);
1159}
1159}
1160
1160
1161−#ifndef SEL4
1162−int idris_usleep(int usec) {
1163− struct timespec t;
1164− t.tv_sec = usec / 1000000;
1165− t.tv_nsec = (usec % 1000000) * 1000;
1166−
1167− return nanosleep(&t, NULL);
1168−}
1169−#endif // SEL4
1170−
1171void stackOverflow(void) {
1161void stackOverflow(void) {
1172 fprintf(stderr, "Stack overflow");
1162 fprintf(stderr, "Stack overflow");
1173 exit(-1);
1163 exit(-1);
rts/idris_rts.h−4
@@ -507,10 +507,6 @@ const char *idris_getArg(int i);
507// disable stdin/stdout buffering
507// disable stdin/stdout buffering
508void idris_disableBuffering(void);
508void idris_disableBuffering(void);
509
509
510−#ifndef SEL4
511−int idris_usleep(int usec);
512−#endif // SEL4
513−
514// Handle stack overflow.
510// Handle stack overflow.
515// Just reports an error and exits.
511// Just reports an error and exits.
516
512
rts/idris_stdfgn.c+10
@@ -228,6 +228,16 @@ VAL idris_clock(VM* vm) {
228 return result;
228 return result;
229}
229}
230
230
231+#ifndef SEL4
232+int idris_usleep(int usec) {
233+ struct timespec t;
234+ t.tv_sec = usec / 1000000;
235+ t.tv_nsec = (usec % 1000000) * 1000;
236+
237+ return nanosleep(&t, NULL);
238+}
239+#endif // SEL4
240+
231VAL idris_mkFileError(VM* vm) {
241VAL idris_mkFileError(VM* vm) {
232 VAL result;
242 VAL result;
233 switch(errno) {
243 switch(errno) {
rts/idris_stdfgn.h+3
@@ -54,6 +54,9 @@ char* getEnvPair(int i);
54
54
55VAL idris_time();
55VAL idris_time();
56VAL idris_clock(VM* vm);
56VAL idris_clock(VM* vm);
57+#ifndef SEL4
58+int idris_usleep(int usec);
59+#endif // SEL4
57
60
58void idris_forceGC();
61void idris_forceGC();
59
62