git.iko.soy/Idris-dev
on master help sign in
history of95dac76..master
compare
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