git.iko.soy/Idris-dev
on ff0fbfa help sign in
history ofsrc/IRTS/LParser.hs
all commits
dc91b01Java FFI: imports included and dependencies downloaded via mavenJan Bessai 4358581Refactored Java backend to be more monadic and to allow for the future extension of globalsJan Bessai 12dcee5Merge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascriptIrene Knapp 06fffa3JavaScript stuff.Irene Knapp 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