git.iko.soy/Idris-dev
on 73d95bb help sign in
history ofsrc/Idris/Core/CaseTree.hs
all commits
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