git.iko.soy/Idris-dev
on fb9a5ec help sign in
Idris-dev/rts
2 folders, 27 files
../ arduino/Added rts/arudino/idris_main.c. It is similar to the standard idris_main.c except it does not attempt to handle argv/argc and it also calls the Arduino init() function. windows/Fix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`. Makefileidris_stdfgn.c: use conditional compilation since there is only one function which is different for windows realization getline.cNull terminate the returned string on eof without delimiter. getline.hAdded BSD licensed getline and used that to read string from file idris_bitstring.cC style changes while porting rts to 9front (#3596) idris_bitstring.hImprove C FFI idris_gc.cpart 2 of FORCE_ALIGNMENT fix for arduino targets. idris_gc.hType safe message passing concurrency idris_gmp.cC style changes while porting rts to 9front (#3596) idris_gmp.hC style changes while porting rts to 9front (#3596) idris_heap.cpart 2 of FORCE_ALIGNMENT fix for arduino targets. idris_heap.hpart 2 of FORCE_ALIGNMENT fix for arduino targets. idris_main.cFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`. idris_net.crearrange stuff idris_net.hrearrange stuff idris_opts.cFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`. idris_opts.hFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`. idris_rts.cC style changes while porting rts to 9front (#3596) idris_rts.hC style changes while porting rts to 9front (#3596) idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`. idris_stdfgn.hCheck file size before reading in readFile idris_utf8.cSubstring as primitive idris_utf8.hSubstring as primitive libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg) mini-gmp.cMake GMP optional (default off) mini-gmp.hMake GMP optional (default off)