git.iko.soy/Idris-dev
on cd38cef help sign in
history ofsrc/Core/CaseTree.hs
all commits
09f2abdFix let overloading bug with do blocksEdwin Brady b1e95cbFix coverage checkerEdwin Brady 6dcf4c3Build a call graph and only compile things which are usedEdwin Brady c08dff7Fix circular dependenciesEdwin Brady 6807cf4Unreachable case warningEdwin Brady 1112fe4Coverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking can be disable with --nocoverageEdwin Brady 10ea548Inline type class applications where possible to reduce overheadEdwin Brady 0bc69fbAdded prelude.strings, made believe_me primitiveEdwin Brady dccbc43Generate bytecode so that files don't need to be rechecked every time they're loadedEdwin Brady bbaa193Better representation of namesEdwin Brady 4931c20Added Integer (but an Epic bug prevents them compiling properly)Edwin Brady ffc64e3Add mechanism for simplification and function optionsEdwin Brady 6757c47Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)Edwin Brady bf368abFirst attempt at with ruleEdwin Brady 3b115b2Fixed pattern matching and delaborator bugEdwin Brady a805f47Added constants and some primitive operationsEdwin Brady c637850Pattern matcher, evaluation of 2+2 now worksEdwin Brady