fix building for windows/idris_stdfgn.c
reflect this change: https://github.com/idris-lang/Idris-dev/commit/dc277394ee50fb4992a77f57f61800fbb9850fae
commit45420ab2fda112dac0e6afc12d861adcde78d9db
authorHeather <heather@live.ru>
dateFri 3 Jul 2015, 16:24 (11 years ago)
parent83b839f
rts/windows/idris_stdfgn.c+2−2
@@ -72,9 +72,9 @@ char* getEnvPair(int i) {
7272 return *(environ + i);
7373}
7474
75−int idris_time() {
75+VAL idris_time() {
7676 time_t t = time(NULL);
77− return (int)t;
77+ return MKBIGI(t);
7878}
7979
8080void idris_forceGC(void* vm) {