Early buffer implementation for the Java codegen
modify RTS so that it can be built single-threaded if pthreads are not available.
fixups for HAS_PTHREAD changes
hack in idris_gc to force 16-bit/2-byte alignment for
allocations. Some embedded platforms, like the arduino/avr, support
byte-aligned pointers. However, that makes implementing tagged
pointers very tricky. So, instead we just force 16-bit alignment.
remove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.
force tag_arity and ty to be uint32_t instead of system dependent int sizes.
Changed some ints to size_t. Seems valid -- not certain.
should have been in the last commit.
Change + to | because | better reflects our intentions.
alloc_heap also requires the pointer alignment hack.
Add (-) function for Fin
IdrisDoc begun
Fixed IdrisDoc errors and added REPL :help descriptions
Changed IdrisDoc interface, updated command descriptions.
Merge remote-tracking branch 'upstream/master' into idrisdoc
Change to infix form
Add splitAt function for List
Add name of arguments in type declaration for proper documentation
Tiny tidying up
Added IdrisDoc hooks from the command line.