git.iko.soy/Idris-dev
on master help sign in
history off192d93..master
compare
295409bUncomment truncate.Greg Pfeil 0661ec0Add scanl for Vect.Greg Pfeil 9760a72Further simplification of expression parsing for better error handling such as lists and constant literals.Ahmad Salim Al-Sibahi 6c835daAdd a bunch of docstrings to Prelude.StringsPeter Minten 476fb25Workaround Travis skip of last commit.Ahmad Salim Al-Sibahi 3f40461javascript: make folding002 passraichoo a461b62javascript: make bounded001 passraichoo b3bf583javascript: initial Bits16 supportraichoo 64f7716javascript: initial Bits8 supportraichoo be534deAdd Foldable for SortedSetBrian McKenna 5159ad4Remove ":m" as a shortcut for ":module" in help as it is used for ":metavars". Remove argument for ":metavars" as it doesn't take any.Ahmad Salim Al-Sibahi 91043ccRemove Ord constraints from SortedMap toListBrian McKenna f21ab67Comment on grammar fix [ci skip]Ahmad Salim Al-Sibahi 4940097Improves parsing of function application expressionsAhmad Salim Al-Sibahi 08fbb4eSimplified some lookaheads and grammar rules for lambda expressions and other internal expressions.Ahmad Salim Al-Sibahi 47cd264alloc_heap also requires the pointer alignment hack.stepcut ffdb074Change + to | because | better reflects our intentions.stepcut 50eacbdshould have been in the last commit.stepcut 0a4d91bChanged some ints to size_t. Seems valid -- not certain.stepcut 48aa599force tag_arity and ty to be uint32_t instead of system dependent int sizes.stepcut 8a0beabremove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.stepcut 66936b0hack 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.stepcut 035d0a9fixups for HAS_PTHREAD changesstepcut c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut 3c58bbfEarly buffer implementation for the Java codegenJan Bessai ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross