git.iko.soy/Idris-dev
on 496cf41 help sign in
history ofsrc/IRTS/Compiler.hs
all commits
dd5001fmake TT aware of Set -> Typeraichoo bdf11e8Better IO + faster compilation by avoiding needless cases in EVAL/APPLYEdwin Brady 7245290Some tiny RTS optimisationsEdwin Brady c101721Fix Integer matching bugEdwin Brady bbbe563Merge pull request #114 from raichoo/wordEdwin Brady e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth f6451efword 8/16 primitive typesraichoo fab5d73Adding support for Windows MingW32chetant 758d56aMinor CG changes remove 'replace' calls, and be more careful with --nocoverageEdwin Brady 449bb27Fix allocation of big integersEdwin Brady f50f006Expand backend control options and infrastructureBenjamin Saunders 29c67e9Pattern matching on strings, big integers and charactersEdwin Brady a52bb30Separate compile time and run time inlinings Run time can be more aggressive - compile time needs to be careful since over aggressive inline can make the termination check harder, especially for type class instances.Edwin Brady 7508b64'par' primitive in builtins (not yet implemented)Edwin Brady ba6042fMessage passing fixes; also abstract SETTY/GETTY in rtsEdwin Brady 9affb75Totality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possibleEdwin Brady d27925cMerge branch 'master' of https://github.com/raichoo/Idris-devEdwin Brady 36aa92bReinstate old coverage checker (because it's better...)Edwin Brady fb2b17dAdd collapsing optimisation and more aggressive erasureEdwin Brady a04b57d--dumpcases now dumps post unused arg erasureEdwin Brady 8327dc9Trace unused arguments in the right place...Edwin Brady 28ecd81Erase unused arguments when compilingEdwin Brady 3c641aeAdded --dumpdefuns flagEdwin Brady 8063cfdAdded --dumpcases <file> option for dumping case trees on compilingEdwin Brady 72d4d96Starting unused argument analysisEdwin Brady 0f957f6Add Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortlyEdwin Brady 4ff3b25Added --dumpc flagEdwin Brady bb76c6cMore aggressive simplification; fix case generation bugEdwin Brady 7b4fb2aConstructors don't need completely independent tagsEdwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady b49000aSupport linking external .o files in new compilerEdwin Brady e956ecaDon't lambda lift unused argumentsEdwin Brady f959008New RTS in placeEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady dae8526Added IRTS.CompilerEdwin Brady