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