git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/PartialEval.hs
all commits
17fe233Add scoped implicit argument to PiEdwin Brady f2edb7dRestrict PE for class dictionariesEdwin Brady 799a105Fix missing case in PartialEval.hsEdwin Brady 3971cb9More partial evaluation improvementsEdwin Brady a33670bPropagate static flags into with blocksEdwin Brady 03f6913Partially evaluate type class dictionariesEdwin Brady e09ef82Improve PE for class constraints and HOFsEdwin Brady 7a23995Extend PE to look under pattern matching defsEdwin Brady 3ade599Partial evaluator fixesEdwin Brady 6e74e33Fix for pattern vars in transformsEdwin Brady 146858dImplement transformation rulesEdwin Brady 37748ceAdd transformation rules for partial evaluationEdwin Brady 971d88dAnnotate several top-level functionsMichael Maloney 7e7368dStore kind in Pi bindersEdwin Brady 60b1f18Added some additional documentation for partial evaluationAhmad Salim Al-Sibahi d3eb486First attempt now at substitution to default argsTimo Petteri Sinnemäki c1ef938New syntax for documentation commentsDavid Raymond Christiansen 46e894dUse Data.Text for variable namesEdwin Brady 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna 77b1fafSwitch on 'elabPE'Edwin Brady 8531634Set up more partial evaluation machineryEdwin Brady 3c32b65Whitespace cleanup.George Leontiev ad66486Add %specialise annotation for functions (Part 1 of partial evaluation) %specialise [n1 t1, n2 t2 ...] as an annotation before a function type means that the r.h.s. of all the clauses will be evaluated, but with the name n1 reduced at most t1 times, etc. The t1 part is optional, and means unlimited (which is the default for all names at the minute anyway)Edwin Brady