git.iko.soy/Idris-dev
on aa7262e help sign in
history ofsrc/IRTS/Lang.hs
all commits
9a444c5Add 'mod' and variantsEdwin Brady 7508b64'par' primitive in builtins (not yet implemented)Edwin Brady a04b57d--dumpcases now dumps post unused arg erasureEdwin Brady 28ecd81Erase unused arguments when compilingEdwin 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 7b4fb2aConstructors don't need completely independent tagsEdwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady e956ecaDon't lambda lift unused argumentsEdwin Brady 371bd9aGroup EVAL/APPLY constructorsEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady b642db5Almost working new back endEdwin Brady 53de817Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 0433650Added some useful standard foreign functions for IOEdwin Brady 7ab5216String/Float primitivesEdwin Brady 0af107cAdded GMP interface for BigIntsEdwin Brady f03a655Added %lazy annotationsEdwin Brady 29ba32eLambda lifting in FOVMEdwin Brady 35ec145Added lazy application to IRTSEdwin Brady 4e0fe22Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator languageEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady ece92feConvert intermediate expressions to let bound variablesEdwin Brady bf55193Add scope checking for FOVM codeEdwin Brady 7c75851Test file for new VM, hook up parserEdwin Brady 3f76c32Begin another experimental RTSEdwin Brady