mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 09:17:43 +03:00
353d0da6f7
* ANF transformation in Speedy. The idea behind this PR is to transform speedy expressions into a simpler form where all non-atomic sub-expressions are made explicit by the introduction of let-forms. In particular, for the function-application form. These simpler forms allow the execution engine to take advantage of the atomic assumption, and often removes many additional execution steps. In particular the pushing of continuations to allow execution to continue after a compound expression has been reduced to a value. changelog_begin changelog_end * improve comment * inline functions relocateA/L * remove comment about scalafmt * remove commented out alterative def for transformLet1 * improve code by adding incr methods to DepthA/E * remove (n == 0) special case in trackBindings * clarify comment further * improve validate/go to not consume stack for deeply right-nested let-expressions * address comments from Remy: be private; use final case case; etc * rename to unsafeCompilationPipeline * add back some trailing commas * remove commented-out debug line * improve comment * remove dev/debug code in compilationPipeline * remove commented out code in SEAppGeneral.execute * undo unrelated code improvement in SValue.scala * fix compile. object Anf cannot be private |
||
|---|---|---|
| .. | ||
| client_server | ||
| create-daml-app | ||
| daml_ledger | ||
| daml_script | ||
| daml_trigger | ||
| data_dependencies | ||
| test_utils | ||
| BUILD | ||
| create_daml_app_test.sh | ||
| daml_ledger_test.sh | ||
| daml_sdk.bzl | ||
| daml.cc.tpl | ||
| sandbox-with-postgres.sh | ||
| testing.bzl | ||
| versions.bzl | ||