e8b267fAdd retval nodes.Matus Tejiscak13 years ago 6fe5f15Fix forward chaining.Matus Tejiscak13 years ago 4561725Fix depth-first search (name shadowing).Matus Tejiscak13 years ago a368e1dPrinting reinstated.Matus Tejiscak13 years ago f5532ebDeps inverted.Matus Tejiscak13 years ago da67875Forward chaining search implemented.Matus Tejiscak13 years ago 49c7abcRemove cached deps'.Matus Tejiscak13 years ago 7e308ddEliminate unused inputs to erasure analysisMatus Tejiscak13 years ago 4dc937aCompilability.Matus Tejiscak13 years ago 3e48badAdd some comments.Matus Tejiscak13 years ago b40a7b2Remove unused code.Matus Tejiscak13 years ago 4aa5f8fClean self-references from deps.Matus Tejiscak13 years ago 06e0bb9Cached deps added.Matus Tejiscak13 years ago 0a71ea2getDepsTerm covers all cases.Matus Tejiscak13 years ago 6041ec1Improved dep pretty-printing.Matus Tejiscak13 years ago 1cc5f39getDepsTerm somehow implemented.Matus Tejiscak13 years ago 8408f95Intercommit.Matus Tejiscak13 years ago 16008a4getDeps extended.Matus Tejiscak13 years ago aff2988Redefine dep analysis data structures.Matus Tejiscak13 years ago 20b544cIntercommit.Matus Tejiscak13 years ago 60a3937Reapply 08779298ce2e95b3e16a5a3e5d9c0cf3936d0507 from master.Matus Tejiscak13 years ago e5b7866Another intercommit.Matus Tejiscak13 years ago 1b75037Intercommit.Matus Tejiscak13 years ago ccadc82Ctor usage analysis roughly complete.Matus Tejiscak13 years ago a4f3868Intercommit. (Deeper usage analysis.)Matus Tejiscak13 years ago 59c3cd1Make ProjCase take exactly one alternative. (TODO: is this safe?)Matus Tejiscak13 years ago 437322cfindUsed stub written.Matus Tejiscak13 years ago cddb095Simplification with pattern guards.Matus Tejiscak13 years ago 7590fa0More purification.Matus Tejiscak13 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