git.iko.soy/Idris-dev
on a0de8cb help sign in
Idris-dev/rts
2 folders, 29 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`. MakefileAdd Data.Buffer 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_buffer.cFix allocation of buffer idris_buffer.hAdd stdint.h header idris_gc.cImprove string primitive performance idris_gc.hType safe message passing concurrency idris_gmp.cC style changes while porting rts to 9front (#3596) idris_gmp.hFix separate compilation 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 separate compilation 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.cImplement tracing for C backend idris_rts.hImplement tracing for C backend idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.ccheck for non-negative return values in idris_writeStr idris_stdfgn.hAdd StringBuffer to Prelude.Strings idris_utf8.cUse offset for substr if possible idris_utf8.hUse offset for substr if possible 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)