git.iko.soy/Idris-dev
on bd8ea0a 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/Make Network.Socket work on Windows MakefileMake Network.Socket work on Windows 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.cAdded Data.IORef 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.cMake Network.Socket work on Windows idris_net.hMake Network.Socket work on Windows 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.cAdded Data.IORef idris_rts.hAdded Data.IORef idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cChange eqPtr to use the primitive idris_stdfgn.hChange eqPtr to use the primitive 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)