git.iko.soy/Idris-dev
on 30ba576 help sign in
30ba576Fix a mismerge.Matus Tejiscak 014f993Add --nowarnreach to two tests.Matus Tejiscak 843238dFix usage in reg025.Matus Tejiscak adc7d08Fix usage for __MkPair.Matus Tejiscak 644f093Require postulate unreachability instead of collapsibility.Matus Tejiscak 2604c1dFix compilation of applied de bruijn vars.Matus Tejiscak dd09721Include local variables in instance ctor applications.Matus Tejiscak 4e1d50eUse method info to erase stuff in Compiler.hs.Matus Tejiscak cee5985Recognise instance constructors in Compiler.hs.Matus Tejiscak 5bdfe51Comment clarification.Matus Tejiscak ca257e0Remove commented-out dead code.Matus Tejiscak 67b01ecRefactor Compiler.hs.Matus Tejiscak 993b57bFix instance ctor application analysis.Matus Tejiscak 37b3f6cAdd instance ctor application analysis.Matus Tejiscak 50c4fe2Revert to using metamethods.Matus Tejiscak 101f6afUse proper method names for class methods.Matus Tejiscak e737c97Handle methods correctly in usage analysis.Matus Tejiscak 27fbd56Add method deps.Matus Tejiscak e31205dAdd method info to variables.Matus Tejiscak 7ce8729Carry context with vars in Erasure.hs.Matus Tejiscak 872c17dBetter naming of generated instance fields.Matus Tejiscak 826fa9cReplace projections from instance ctors with special names.Matus Tejiscak 0916929Ignore usage warnings in test/effects*.Matus Tejiscak c181edbFix usage in basic002.Matus Tejiscak 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