git.iko.soy/Idris-dev
on 593cade help sign in
history ofsrc/Idris/Core/CaseTree.hs
all commits
77bae41Fixes for GHC 8.6Niklas Larsson d47e95bRemove some redundancy in case treesEdwin Brady 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 4a3fe0cLinearTypes extension improvementsEdwin Brady 7e800caSmall tweak to inliningEdwin Brady 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 532ef6cMerge branch 'master' into fix/master/1211Edwin Brady 5d7388bMove extensions into source filesEdwin Brady a0de8cbstylised HSmandubian 9e69858Fixed unstylized things in Idris and stylize.sh scriptAhmad Salim Al-Sibahi a5033e7Add linear LamEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady ea88b5eBetter choice of pattern to inspect in coverageEdwin Brady 61d5865New coverage checkerEdwin Brady 0f3e4e3Apply forcing optimisation on LHSEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 9c636f4Remove a bunch of "deriving instance NFData" hot commentsEcho Nolan 7d1719fUnbreak doc buildNiklas Larsson 45bf2b6Fix ordering of run time case treesEdwin Brady 9baa5ceUse GHC generics for NFData instancesEcho Nolan 8442cefDeprecate '%assert_total'Edwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 91e8cf8Add location for No pattern clauses errorEdwin Brady 228f56cfindCalls should find constructors tooEdwin Brady 4dabdbaPropagate errors originating from case treesDavid Raymond Christiansen 688f324Use any instead of or/map and null/filterNiklas Larsson 04b4cc0Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen e32e899Totality checking for functions defined in Elab scriptsDavid Raymond Christiansen f987aecAdd info field to AppEdwin Brady 8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady 17fe233Add scoped implicit argument to PiEdwin Brady 5faaba9More information runtime error for missing caseEdwin Brady 0d8a153New way of dealing with unmatchable patternsEdwin Brady 6d54cb3Disallow explicit types on LHSEdwin Brady d417e41Lifted FIXME and TODO from Core/CaseTreeJan de Muijnck-Hughes c85af21Make sure Borrowed constructors aren't updatedEdwin Brady 7e7368dStore kind in Pi bindersEdwin Brady cdbfec9Propagate CaseType through IRsEdwin Brady 218c735Mark 'case' on unique types as updatableEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 32d47a5Ensure erasure happens under 'force'Edwin Brady 61f3456Simplify argsToAlt.Matus Tejiscak 019b608Purify toPats.Matus Tejiscak 15b9807Disable PAny for repeated patvars.Matus Tejiscak 2490a15Implement accessible+inaccessible splitting.Matus Tejiscak 1e37348More changes to argsToAlt.Matus Tejiscak 2cc6526Adjust code around argsToAlt.Matus Tejiscak 747aaf5Extend argsToAlt to return a quadruple.Matus Tejiscak c201192Bring erasure info to the case tree builder.Matus Tejiscak