git.iko.soy/Idris-dev
on master help sign in
fix building for windows/idris_stdfgn.c
45420abHeather
rts/windows/idris_stdfgn.c+2−2
compare with master
unifiedsplit
@@ -72,9 +72,9 @@ char* getEnvPair(int i) {
72 return *(environ + i);
72 return *(environ + i);
73}
73}
74
74
75−int idris_time() {
75+VAL idris_time() {
76 time_t t = time(NULL);
76 time_t t = time(NULL);
77− return (int)t;
77+ return MKBIGI(t);
78}
78}
79
79
80void idris_forceGC(void* vm) {
80void idris_forceGC(void* vm) {