git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4806 from mokshasoft/rts-stdfgn

Rts stdfgn

commit9074a76cb3e8ebadf80540e6af1d188251724d3c authorNiklas Larsson <metaniklas@gmail.com> dateSat 1 Feb 2020, 01:11 (7 years ago) parent70ebef5159a7d4
6 files changed+13−17
compare with master
unifiedsplit
rts/idris_bitstring.c−2 rts/idris_rts.c−10 rts/idris_rts.h−4 rts/idris_stdfgn.c+10 rts/idris_stdfgn.h+3 rts/idris_utf8.c−1
rts/idris_bitstring.c−2
@@ -1,5 +1,3 @@
1−#include <assert.h>
2−
31#include "idris_rts.h"
42
53VAL idris_b8const(VM *vm, uint8_t a) {
rts/idris_rts.c−10
@@ -1158,16 +1158,6 @@ void idris_disableBuffering(void) {
11581158 setvbuf(stdout, NULL, _IONBF, 0);
11591159}
11601160
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−
11711161void stackOverflow(void) {
11721162 fprintf(stderr, "Stack overflow");
11731163 exit(-1);
rts/idris_rts.h−4
@@ -507,10 +507,6 @@ const char *idris_getArg(int i);
507507// disable stdin/stdout buffering
508508void idris_disableBuffering(void);
509509
510−#ifndef SEL4
511−int idris_usleep(int usec);
512−#endif // SEL4
513−
514510// Handle stack overflow.
515511// Just reports an error and exits.
516512
rts/idris_stdfgn.c+10
@@ -228,6 +228,16 @@ VAL idris_clock(VM* vm) {
228228 return result;
229229}
230230
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+
231241VAL idris_mkFileError(VM* vm) {
232242 VAL result;
233243 switch(errno) {
rts/idris_stdfgn.h+3
@@ -54,6 +54,9 @@ char* getEnvPair(int i);
5454
5555VAL idris_time();
5656VAL idris_clock(VM* vm);
57+#ifndef SEL4
58+int idris_usleep(int usec);
59+#endif // SEL4
5760
5861void idris_forceGC();
5962
rts/idris_utf8.c−1
@@ -1,5 +1,4 @@
11#include "idris_utf8.h"
2−#include <stdio.h>
32#include <string.h>
43#include <stdlib.h>
54