git.iko.soy/Idris-dev
on 09eebbf help sign in
history ofsrc/IRTS/Defunctionalise.hs
all commits
a807a34Remove the unused arg from lookup functionsDavid Christiansen c70992bGenerate legal DChkCase expressions when defunctionalization is trivialBenjamin Saunders bdf11e8Better IO + faster compilation by avoiding needless cases in EVAL/APPLYEdwin Brady 7245290Some tiny RTS optimisationsEdwin Brady c101721Fix Integer matching bugEdwin Brady 06283b6Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.Edwin Brady 28ecd81Erase unused arguments when compilingEdwin Brady 3c641aeAdded --dumpdefuns flagEdwin 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 bb76c6cMore aggressive simplification; fix case generation bugEdwin Brady 783d45fNew datatype for defunctionalised programs ...so that we can't make something ill formed by accidentEdwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 371bd9aGroup EVAL/APPLY constructorsEdwin Brady b642db5Almost working new back endEdwin Brady 35ec145Added lazy application to IRTSEdwin Brady 4e0fe22Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator languageEdwin Brady 517acc1Namespace parsing improvements (for qualified operator names) thanks to Dirk UllrichEdwin Brady