git.iko.soy/Idris-dev
on cdff1db help sign in
history ofsrc/Idris/Core/CaseTree.hs
all commits
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 2e9c299Add ReaderT to CaseBuilder.Matus Tejiscak b0cb4e2Create the CaseBuilder monad alias.Matus Tejiscak 42dcbc3Deal with 'Delay' in case building properlyEdwin Brady e366017Add two uncovered cases to substSC.Matus Tejiscak cfe250aCase tree building considers heterogeneous typesEdwin Brady b283c0dFix some reachability warnings with EffEdwin Brady 08ddbaaReformulate decEq for Vect.Matus Tejiscak b44cf97Reformat prune.Matus Tejiscak 5a8e4f4Improve indentation of LExp.Matus Tejiscak 5f93139Move forcing to Compiler.hs.Matus Tejiscak 0203531Fix case-inspection of lazy values.Matus Tejiscak 5c0c63aImprove comments.Matus Tejiscak 64353d2Don't prune improjectible case-trees.Matus Tejiscak 7ada264Fix case-tree projection transformation.Matus Tejiscak 826fa9cReplace projections from instance ctors with special names.Matus Tejiscak e2dec8bFix single-arg-ness of ProjCase.Matus Tejiscak 7688a12More small fixes.Matus Tejiscak b1d2553Respect accessibility in case tree elaboration.Matus Tejiscak 589bb4bCtor erasure fixed.Matus Tejiscak 59c3cd1Make ProjCase take exactly one alternative. (TODO: is this safe?)Matus Tejiscak 89c89d3Fix "Force" in case tree for new indexed formEdwin Brady 130f437Remove | annotation, make Force/Delay implicitEdwin Brady f9684d6Add 'Lazy' type for capturing delayed computationsEdwin Brady 6e1cac7(Temporary!) Turn off typecase testEdwin Brady 32b66c5Type constructor arguments are unused at run-timeEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady 66ec833Minor memory usage improvementsEdwin Brady 7604451Cache argument types for building case treesEdwin Brady 7e885b3Disallow explicit types on LHSEdwin Brady ad995dcCheck that case does not overspecialiseEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna