git.iko.soy/Idris-dev
on 589bb4b help sign in
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 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