git.iko.soy/Idris-dev
on master help sign in
history ofbd58d80..master
compare
b1d2553Respect accessibility in case tree elaboration.Matus Tejiscak b74ad4eReport names in accessibility check.Matus Tejiscak 6b86378Erasure check errmsg briefer.Matus Tejiscak 4d403c7Improve error messages of the erasure checker.Matus Tejiscak 5590ab8Add a basic reachability check.Matus Tejiscak d5726ecAdd checkAccessibility stub.Matus Tejiscak 145affdFix ignored main.Matus Tejiscak 3521b16Don't analyse programs without main.Matus Tejiscak dfb2663Run erasure analysis even when not compiling.Matus Tejiscak 72b473dMove Erasure back into Idris/.Matus Tejiscak 4ae96c9Remove unused reachability analysis.Matus Tejiscak 9b80d0dAdd an "inaccessible" field to OptData.Matus Tejiscak ec85560Add accessibility recognition.Matus Tejiscak 5047cc5Add ErasedArg to PiOpts.Matus Tejiscak fe0e037Move erasure to IRTS.Matus Tejiscak 62044f7Some cleanup in Erasure.hs.Matus Tejiscak e20cc53Add prim_fork to primitives.Matus Tejiscak 6e04313Fix coverage again, add comment.Matus Tejiscak 0179c54Fix coverage.Matus Tejiscak 44ee6d3Handle overapplied functions correctly.Matus Tejiscak d67bc67Fix mkForeign and friends.Matus Tejiscak cfb968cExtend application analysis.Matus Tejiscak 783dddbFix Show for UNs.Matus Tejiscak 301752cRevert name mangling.Matus Tejiscak 0a6e85eMore flexible primitive handling.Matus Tejiscak 059a39fAdd more rules for primitives.Matus Tejiscak 8576fbaRemove debug printouts.Matus Tejiscak e866fa6Don't erase from unknown names.Matus Tejiscak 589bb4bCtor erasure fixed.Matus Tejiscak 238569eFix the fix of case-split deps.Matus Tejiscak 279d192Fix deps arising from case-splitting.Matus Tejiscak 8c7af47Also print residual deps.Matus Tejiscak d34b7fcMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 20e0bf4Merged with masterPhilip Rasmussen 0939fb5Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODOPhilip Rasmussen 5401872Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 7762a35Package paths may now be in other locations than current directoryPhilip Rasmussen 13d63e3Rewrote implementation so far to be much smarterPhilip Rasmussen 6b3bbe7NameTrie added to create map of names for easy lookupPhilip Rasmussen 39ac157Added IdrisDoc hooks from the command line.Philip Rasmussen d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen e21b167Tiny tidying upPhilip Rasmussen 9b1746cMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen 155e306Fixed IdrisDoc errors and added REPL :help descriptionsPhilip Rasmussen 877c638IdrisDoc begunPhilip Rasmussen 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