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