git.iko.soy/Idris-dev
on v0.99 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/idris_stdfgn.c: use conditional compilation since there is only one function which is different for windows realization 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.cNamespace the ClosureType enums. idris_bitstring.hImprove C FFI idris_gc.cRTS tweaks idris_gc.hType safe message passing concurrency idris_gmp.cFix minigmp assertion failure idris_gmp.hGet more data from bigint when truncating idris_heap.cNamespace the ClosureType enums. idris_heap.hDon't collect below 4K. idris_main.cRTS tweaks idris_net.cImplement missing idris_mkFileError for windows rts files idris_net.hUnbreak windows build of idris_net.c idris_opts.cMerge branch 'feature/cwarnings-removal' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/cwarnings-removal idris_opts.hMinor fix: print rts opts help to stdout instead of stderr. idris_rts.cFix 'spawn' to return Maybe PID idris_rts.hthis command will be translated into a call `hSetBuffering` or `setvbuf` to disable buffering in stdin/stdout idris_stats.cFix GC statistics overflow idris_stats.huint32_t type needed even if stats are not enabled. idris_stdfgn.cCheck file size before reading in readFile 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)