Commit 80543da

committed

use lifted call when expanding lambda during inlining

1 parent c97fb27 commit 80543daCopy full SHA for 80543da

6 files changed

+472

-534

lines changed

third_party/move
- move-compiler-v2
  - src/env_pipeline
    - inliner.rs
    - spec_rewriter.rs
  - tests/lambda-spec
    - inline-lambda-2.lambda.exp
    - inline-lambda.lambda.exp
- move-prover/tests/sources/functional
  - inline-lambda.exp
  - inline_fun_simple.exp

6 files changed

+472

-534

lines changed

Comments

(0)