git.iko.soy/Idris-dev
on e31205d help sign in
history ofsrc/IRTS/Compiler.hs
all commits
826fa9cReplace projections from instance ctors with special names.Matus Tejiscak e8c6a5barity in Compiler a bit safer.Matus Tejiscak b7d5cbcBroaden cover of getArity.Matus Tejiscak 7f5043aRespect unused args in case-projections from data ctors.Matus Tejiscak 7408d94Add newtype-case elimination.Matus Tejiscak b51cf28Include erasure in data constructors.Matus Tejiscak 080a291Compile data ctors with real arity.Matus Tejiscak 5b62302Add "detaggable" as an argument to OptInfo.Matus Tejiscak c1f89faRemove the last occurrence of "force".Matus Tejiscak 7688a12More small fixes.Matus Tejiscak f8e2582Erase unused case-branches.Matus Tejiscak 5ae2e58Fix erasure from data ctors.Matus Tejiscak eea9302Disable forcing and collapsibility (dirty hack).Matus Tejiscak 7e633eeImprove reporting of accessibility errors.Matus Tejiscak dfb2663Run erasure analysis even when not compiling.Matus Tejiscak 72b473dMove Erasure back into Idris/.Matus Tejiscak 4ae96c9Remove unused reachability analysis.Matus Tejiscak fe0e037Move erasure to IRTS.Matus Tejiscak 6e04313Fix coverage again, add comment.Matus Tejiscak 0179c54Fix coverage.Matus Tejiscak 44ee6d3Handle overapplied functions correctly.Matus Tejiscak 8576fbaRemove debug printouts.Matus Tejiscak e866fa6Don't erase from unknown names.Matus Tejiscak 589bb4bCtor erasure fixed.Matus Tejiscak 8c7af47Also print residual deps.Matus Tejiscak 99d5a0aOnly compile the reachable names.Matus Tejiscak 14d352eFix eta-expansion, list reachable names.Matus Tejiscak d403d47Add some debug printouts.Matus Tejiscak d4562c4Remove the old findUnusedArgs.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 a92914bAlso account for called references.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 06e0bb9Cached deps added.Matus Tejiscak 6041ec1Improved dep pretty-printing.Matus Tejiscak aff2988Redefine dep analysis data structures.Matus Tejiscak 20b544cIntercommit.Matus Tejiscak 1b75037Intercommit.Matus Tejiscak ccadc82Ctor usage analysis roughly complete.Matus Tejiscak 59c3cd1Make ProjCase take exactly one alternative. (TODO: is this safe?)Matus Tejiscak 961c6bcRemove export of traceUnused.Matus Tejiscak 2ac5aaaRename UnusedArgs to Erasure.Matus Tejiscak f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady