git.iko.soy/Idris-dev
on 4e0fe22 help sign in
history ofsrc/IRTS/LParser.hs
all commits
4e0fe22Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator languageEdwin Brady 3812df8Compile foreign callsEdwin Brady 168706fInvoke gcc directlyEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady 93d645aIdentify tail calls while simplifyingEdwin Brady c41bf4bBasic C generation in new back end now worksEdwin Brady 79e6bf7Set up C generatorEdwin Brady 0bb157eTinker with bytecodeEdwin Brady ece92feConvert intermediate expressions to let bound variablesEdwin Brady 9b1587bAdd IRTS/BytecodeEdwin Brady bf55193Add scope checking for FOVM codeEdwin Brady 7c75851Test file for new VM, hook up parserEdwin Brady 3f76c32Begin another experimental RTSEdwin Brady