git.iko.soy/Idris-dev
on dcdebfc help sign in
history ofsrc/IRTS/Simplified.hs
all commits
e9c9297Make lookupCtxtExact return Maybe instead of ListDavid Raymond Christiansen d82f5feMerge branch 'text-names'Edwin Brady 0c8c90dStrictness annotationsEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev 9cdf03aFix compilation of unqualified constructor namesEdwin Brady a807a34Remove the unused arg from lookup functionsDavid Christiansen 7245290Some tiny RTS optimisationsEdwin Brady 06283b6Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.Edwin 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 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady b642db5Almost working new back endEdwin Brady 3812df8Compile foreign callsEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady 93d645aIdentify tail calls while simplifyingEdwin Brady 0bb157eTinker with bytecodeEdwin Brady 60e9780Convert locals to registersEdwin Brady ece92feConvert intermediate expressions to let bound variablesEdwin Brady