git.iko.soy/Idris-dev
on 19a87f3 help sign in
history ofsrc/IRTS/Compiler.hs
all commits
f3c3711Make stylish-haskell happy.Matus Tejiscak ac26ce5Update comment.Matus Tejiscak 21319b8Express a multiway "if" differently (GHC compat).Matus Tejiscak f2ee9e9Don't lambda-wrap unsaturated prim__addBigInt.Matus Tejiscak 593cadeFix the "looks like S" check.Matus Tejiscak 11d54e7Add --generalised-nat-hack.Matus Tejiscak f0f566fFix unary apps + ordering of case trees.Matus Tejiscak 6ef51e3Add forgotten default clause.Matus Tejiscak e1afa90Add error message.Matus Tejiscak 5e2000eHook case trees, too.Matus Tejiscak 137d2aeCheck recursivity of S.Matus Tejiscak e16f741Extend the Nat hack for Nat-like families.Matus Tejiscak 977c1f0Fixing error message on partial pattern matching failure.Guillaume Yziquel cc7ef9aRemove old eliminator generation and induction tactic (#4351)Ahmad Salim Al-Sibahi de1d865Much improved inliningEdwin Brady 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 4a3fe0cLinearTypes extension improvementsEdwin Brady a5ac47bMake UnmatchedCase errors lazy (#4049)Jonas De Vuyst bea08acstylize fixRui Barreiro 26cb165Merge branch 'master' into exportiface_jsNiklas Larsson 7e800caSmall tweak to inliningEdwin Brady d4bd8e6Clean up unused imports (#4065)Jason Felice d3f9138interface parameter is passed to codegenRui Barreiro 3ad2672Prefer to load imports from the current packageNiklas Larsson 63944aaSimplify LV/DV constructor be removing unused caseThomas Scholtes fab515fAdd a low-level log statement for erasure step.Jan de Muijnck-Hughes 5d7388bMove extensions into source filesEdwin Brady 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson b30e112add a type alias for the TT Declaration as it is getting unwieldyjoe9 2339c66add TT to CodegenInfojoe9 89dd6aeCheck linearity of functionsEdwin Brady a5033e7Add linear LamEdwin Brady 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes cf61801Reverted changes to verbosity reporting.Jan de Muijnck-Hughes 4a5c677Add 'idris_crash'Edwin Brady 15b0829Improve progress reporting.Jan de Muijnck-Hughes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0df1270Change Instance to implementation (#3404)(λ _ λ) c3f0755replace code level class symbol with inferfacezjhmale 96e583cFix compilation of Delay patternEdwin Brady 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 8442cefDeprecate '%assert_total'Edwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes d2a8c3eFold portable into CodegenNiklas Larsson 80225afExport intermediate representation as JSONNiklas Larsson 9297ae4Allow 'data' declarations in interfacesEdwin Brady 6cbfdd3Never compile 'void'Edwin Brady 4e762eeSome debug infoEdwin Brady c6ec808Allow programs with holes to be compiledEdwin Brady e3e35a5New rules for name visibilityEdwin Brady