git.iko.soy/Idris-dev
on 783dddb help sign in
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 bd58d80Report unbound variables in erasure.Matus Tejiscak 99d5a0aOnly compile the reachable names.Matus Tejiscak 14d352eFix eta-expansion, list reachable names.Matus Tejiscak 8afaee7Handle projections correctly.Matus Tejiscak ddece77Handle projections at least trivially.Matus Tejiscak d403d47Add some debug printouts.Matus Tejiscak d4562c4Remove the old findUnusedArgs.Matus Tejiscak 4caab41Interpret applied lets as lambdas.Matus Tejiscak b1bef1cConnect erasure with analysis.Matus Tejiscak ad0dce1Invert the meaning of used/unused in CGInfo.Matus Tejiscak f0d7876Add basic conversion to unused-map.Matus Tejiscak dd7a2b2Remove unsafeDebugIO and traceShow.Matus Tejiscak 7dec699Add eta-expansion.Matus Tejiscak a92914bAlso account for called references.Matus Tejiscak f679d3aImproved postulate machinery.Matus Tejiscak 03b93c1Make sure all names get traversed.Matus Tejiscak 8022aadaddMain moved to buildDepMap.Matus Tejiscak 291b64aA separate Arg type.Matus Tejiscak e8b267fAdd retval nodes.Matus Tejiscak 6fe5f15Fix forward chaining.Matus Tejiscak 4561725Fix depth-first search (name shadowing).Matus Tejiscak a368e1dPrinting reinstated.Matus Tejiscak f5532ebDeps inverted.Matus Tejiscak da67875Forward chaining search implemented.Matus Tejiscak 49c7abcRemove cached deps'.Matus Tejiscak 7e308ddEliminate unused inputs to erasure analysisMatus Tejiscak 4dc937aCompilability.Matus Tejiscak 3e48badAdd some comments.Matus Tejiscak b40a7b2Remove unused code.Matus Tejiscak 4aa5f8fClean self-references from deps.Matus Tejiscak 06e0bb9Cached deps added.Matus Tejiscak 0a71ea2getDepsTerm covers all cases.Matus Tejiscak 6041ec1Improved dep pretty-printing.Matus Tejiscak 1cc5f39getDepsTerm somehow implemented.Matus Tejiscak 8408f95Intercommit.Matus Tejiscak 16008a4getDeps extended.Matus Tejiscak aff2988Redefine dep analysis data structures.Matus Tejiscak 20b544cIntercommit.Matus Tejiscak 60a3937Reapply 08779298ce2e95b3e16a5a3e5d9c0cf3936d0507 from master.Matus Tejiscak e5b7866Another intercommit.Matus Tejiscak