Fast-ANF implementation#40

Open

DennisVDB wants to merge 66 commits intoepfldata:fast-anffrom

DennisVDB:fast-anf

Commits on Oct 10, 2017

Some tests for higher-order pattern variables
LPTK
committed

Commits on Oct 29, 2017

Generalize `hopHole` to handle arbitrary patterns: introduce `hopHole2`
LPTK
committed
FastANF implementation
Dennis van der Bij
committed
Make ANF not retarded: proper letin implementation and arguments binding

LPTK
authored and
Dennis van der Bij
committed
HOPHole implementation
Dennis van der Bij
committed

Commits on Oct 31, 2017

Don’t inline all arguments (cf. some are by-name); do it in `substitute`
LPTK
committed

Commits on Jan 7, 2018

Add HOPHole2 support
Dennis van der Bij
committed
Handle effects
Dennis van der Bij
committed
Fix HOPHole, defhole, and some cleaning
Dennis van der Bij
committed
Handle when HOPHole arg is simply a BV
Dennis van der Bij
committed
Don't try to extract again failed extractions
Dennis van der Bij
committed
Factor out extract updates
Dennis van der Bij
committed
Make updateExtract infix
Dennis van der Bij
committed
Right-bias either and fix some errors
Dennis van der Bij
committed
Failed rewriting will not affect input
Dennis van der Bij
committed
Make HOPHole args by-name args
Dennis van der Bij
committed
Corrected HOPHole and code removal semantics
Dennis van der Bij
committed
Fix HOPHoles
Dennis van der Bij
committed
Fix issue where a HOPHole extraction would happen too early in the extraction process
Dennis van der Bij
committed
Small HOPHole optimization and updated tests
Dennis van der Bij
committed
Add way to shortcut extraction, hophole extraction branches now update the state
Dennis van der Bij
committed
Cleanup
Dennis van der Bij
committed
Fix issue where impure statements could be matched wrongly
Dennis van der Bij
committed
Some more extraction tests
Dennis van der Bij
committed
Fix issue where a hole would disappear when not referenced
Dennis van der Bij
committed
Fix issue where rewriting would remove the rest of xtee
Dennis van der Bij
committed
Holes now extract the entire let-binding
Dennis van der Bij
committed
Remove redundant no flags left check
Dennis van der Bij
committed
Check flags when looking for the return value
Dennis van der Bij
committed
Fix issue where substitute gets called outside a reification context
Dennis van der Bij
committed
Fix issue where the generated code is wrong when there's a hole at the return position
Dennis van der Bij
committed
Remove extremely slow intermediate step in the HOPHole extraction
Dennis van der Bij
committed
Remove remnants of the unreachable mechanism
Dennis van der Bij
committed
Test rewriting with HOPHoles, lambdas, and with mutliple occurences
Dennis van der Bij
committed
Remove pure statements that depend on removed statements
Dennis van der Bij
committed
Fix issue where rewriting would remove statements that are part of the result
Dennis van der Bij
committed
Fix some rewriting and extraction issues
Dennis van der Bij
committed
Remove explicit of passing done predicate
Dennis van der Bij
committed
Fix issue where order of pure statements sometimes mattered, defholes now only extracts impure statements
Dennis van der Bij
committed
Fix issue where you couldn't extract an impure statement
Dennis van der Bij
committed
HOPHoles now replace all the occurences of a pattern
Dennis van der Bij
committed
Fix issue where HOPHoles couldn't extract nestet letbindings
Dennis van der Bij
committed
Add HOPHole tests
Dennis van der Bij
committed
Cleanup tests
Dennis van der Bij
committed
Automatically convert to ANF valid reps, correct handling of lambdas, and test some examples from the paper
Dennis van der Bij
committed
Add lambda rewriting tests
Dennis van der Bij
committed
Fix issue where rewriting in the arg position of a methodApp would generate a letbinding
Dennis van der Bij
committed
Fix issue where HOPHoles would disregard pureness and add ByName wrapper
Dennis van der Bij
committed
Documentation and cleanup
Dennis van der Bij
committed
Simplify hole extraction and add mechanism to revert to the default instructions
Dennis van der Bij
committed
Rename HOPV tests file to be more uniform
Dennis van der Bij
committed
Simplify extraction with a SplicedArgument
Dennis van der Bij
committed
Remove wrong and buggy check
Dennis van der Bij
committed
Better function name
Dennis van der Bij
committed
Fix issue where rewriting with code having unused statements would not be handled correctly
Dennis van der Bij
committed
Simplify merging of xtee and generated code
Dennis van der Bij
committed
Fix documentation and cleanup
Dennis van der Bij
committed
Move filterLBs to call-site
Dennis van der Bij
committed
HOPV foldLeft extraction test
Dennis van der Bij
committed
Fix issue where generated code would not appear in the right position in xtee
Dennis van der Bij
committed
Add HOPV test, documentation, and cleaning
Dennis van der Bij
committed
Remove catch-all cases
Dennis van der Bij
committed
Simplify handling of failed matches
Dennis van der Bij
committed
Add HOP test and cleanup
Dennis van der Bij
committed
Add helper functions
Dennis van der Bij
committed
Add documentation and cleanup
Dennis van der Bij
committed