git.iko.soy/Idris-dev
on bfd9900 help sign in
bfd9900Add --nowarnreach.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 acd4c7eImprove the Show instance for LCase.Matus Tejiscak 52ea5a0Return test033 to the original state.Matus Tejiscak 7408d94Add newtype-case elimination.Matus Tejiscak 405fa1eFix optimisation IBC stuff.Matus Tejiscak b51cf28Include erasure in data constructors.Matus Tejiscak 080a291Compile data ctors with real arity.Matus Tejiscak 05643faAdd detaggability recognition.Matus Tejiscak 5b62302Add "detaggable" as an argument to OptInfo.Matus Tejiscak bc79ee8Unified printing of special LTerms.Matus Tejiscak b5c7a14Improve printing of foreign calls.Matus Tejiscak 898d604Improve comments.Matus Tejiscak 65d10f2Remove prim_io_bind and prim_io_return from run__IO.Matus Tejiscak b5f219eRemove the Lazy flag entirely.Matus Tejiscak c1f89faRemove the last occurrence of "force".Matus Tejiscak da28373Fix double type signature for pi.Matus Tejiscak e2dec8bFix single-arg-ness of ProjCase.Matus Tejiscak 58c0106Handle Nat projections correctly.Matus Tejiscak 7688a12More small fixes.Matus Tejiscak 73d95bbFix reg005.Matus Tejiscak f8e2582Erase unused case-branches.Matus Tejiscak 5ae2e58Fix erasure from data ctors.Matus Tejiscak eea9302Disable forcing and collapsibility (dirty hack).Matus Tejiscak eeade97Add MkIO among erasure postulates.Matus Tejiscak 7ec4359Fix arity calculation.Matus Tejiscak bb02275Improve printing of UseMaps.Matus Tejiscak 7e633eeImprove reporting of accessibility errors.Matus Tejiscak c7ae580Add accessibility to data constructors.Matus Tejiscak b1d2553Respect accessibility in case tree elaboration.Matus Tejiscak b74ad4eReport names in accessibility check.Matus Tejiscak 6b86378Erasure check errmsg briefer.Matus Tejiscak 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