9e75132More operations on listsJohn Dobronszki13 years ago 295409bUncomment truncate.Greg Pfeil13 years ago 0661ec0Add scanl for Vect.Greg Pfeil13 years ago 3e651d3Only useful information is now fetched, and the index.html file is properly generated.Philip Rasmussen13 years ago 9760a72Further simplification of expression parsing for better error handling such as lists and constant literals.Ahmad Salim Al-Sibahi13 years ago 6c835daAdd a bunch of docstrings to Prelude.StringsPeter Minten13 years ago 476fb25Workaround Travis skip of last commit.Ahmad Salim Al-Sibahi13 years ago 3f40461javascript: make folding002 passraichoo13 years ago a461b62javascript: make bounded001 passraichoo13 years ago b3bf583javascript: initial Bits16 supportraichoo13 years ago 64f7716javascript: initial Bits8 supportraichoo13 years ago be534deAdd Foldable for SortedSetBrian McKenna13 years ago 2482044Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 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-Sibahi13 years ago b283c0dFix some reachability warnings with EffEdwin Brady13 years ago dd44389Merged with masterPhilip Rasmussen13 years ago f21ab67Comment on grammar fix [ci skip]Ahmad Salim Al-Sibahi13 years ago 4940097Improves parsing of function application expressionsAhmad Salim Al-Sibahi13 years ago 08fbb4eSimplified some lookaheads and grammar rules for lambda expressions and other internal expressions.Ahmad Salim Al-Sibahi13 years ago d34b7fcMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 20e0bf4Merged with masterPhilip Rasmussen13 years ago 0939fb5Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODOPhilip Rasmussen13 years ago 5401872Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 7762a35Package paths may now be in other locations than current directoryPhilip Rasmussen13 years ago 13d63e3Rewrote implementation so far to be much smarterPhilip Rasmussen13 years ago 6b3bbe7NameTrie added to create map of names for easy lookupPhilip Rasmussen13 years ago 39ac157Added IdrisDoc hooks from the command line.Philip Rasmussen13 years ago d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen13 years ago e21b167Tiny tidying upPhilip Rasmussen13 years ago 9b1746cMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen13 years ago 155e306Fixed IdrisDoc errors and added REPL :help descriptionsPhilip Rasmussen13 years ago 877c638IdrisDoc begunPhilip Rasmussen13 years ago 47cd264alloc_heap also requires the pointer alignment hack.stepcut13 years ago ffdb074Change + to | because | better reflects our intentions.stepcut13 years ago 50eacbdshould have been in the last commit.stepcut13 years ago 0a4d91bChanged some ints to size_t. Seems valid -- not certain.stepcut13 years ago 48aa599force tag_arity and ty to be uint32_t instead of system dependent int sizes.stepcut13 years ago 8a0beabremove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.stepcut13 years ago 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.stepcut13 years ago 035d0a9fixups for HAS_PTHREAD changesstepcut13 years ago c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut13 years ago 3c58bbfEarly buffer implementation for the Java codegenJan Bessai13 years ago ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross13 years ago