git.iko.soy/Idris-dev
on 496cf41 help sign in
history ofsrc/IRTS/LParser.hs
all commits
c101721Fix Integer matching bugEdwin Brady f855d0fFix a few missing module referencesBenjamin Saunders f50f006Expand backend control options and infrastructureBenjamin Saunders 6d7a6aaChange comment rules Comments cannot begin '{-|' or '--|'. This is now reserved for documentation comments, which will be part of the syntax to support documentation at the REPL.Edwin Brady 4ff3b25Added --dumpc flagEdwin Brady b49000aSupport linking external .o files in new compilerEdwin 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 b941386Change TRACE mode to use -O2Edwin Brady 0af107cAdded GMP interface for BigIntsEdwin Brady f03a655Added %lazy annotationsEdwin Brady 3009319Added a simple copying GCEdwin 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 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