git.iko.soy/Idris-dev
on d4562c4 help sign in
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 1b75037Intercommit.Matus Tejiscak ccadc82Ctor usage analysis roughly complete.Matus Tejiscak a4f3868Intercommit. (Deeper usage analysis.)Matus Tejiscak 59c3cd1Make ProjCase take exactly one alternative. (TODO: is this safe?)Matus Tejiscak 437322cfindUsed stub written.Matus Tejiscak cddb095Simplification with pattern guards.Matus Tejiscak 7590fa0More purification.Matus Tejiscak a1feb70Cleanup and purification in Erasure.hs.Matus Tejiscak 3c78dcbSimplify unused arg search.Matus Tejiscak 961c6bcRemove export of traceUnused.Matus Tejiscak 2ac5aaaRename UnusedArgs to Erasure.Matus Tejiscak 78c27e9Remove example directoryEdwin Brady 845e02aMake a note of deferred data typesEdwin Brady 4b11ccdMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 3d6fc38Merge pull request #1049 from david-christiansen/ideslave-cleanupEdwin Brady 264be6bExtract giant case block to top-level functionDavid Raymond Christiansen