git.iko.soy/Idris-dev
on b894841 help sign in
history ofsrc/IRTS/Compiler.hs
all commits
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