digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 01:07:18 +03:00
Code Issues Projects Releases Wiki Activity
89369b3bb9
daml/compiler
History
Moritz Kiefer 02c59d4f2a
Revert ANF changes and add a testcase for evaluation order (#6645) 
* Revert ANF changes and add a testcase for evaluation order

After careful consideration, we decided that the change in evaluation
order that was accidentally introduced by the ANF changes should be
considered a breaking change or arguably even a bug and should not
land in 1.3.0.

Therefore, this PR reverts the following commits:

1. 353d0da6f7
2. a45b51042f
3. 04c7b2af7f
4. a624dd7242
5. b3aab72cee

Other PRs mostly had trivial merge conflicts that I resolved. The two
most interesting ones here are probably

1. https://github.com/digital-asset/daml/pull/6576 which was easy to
   resolve and the change to return SEValue instead of SExpr is still
   nice and useful even if we do not need the guarantees.
2. it https://github.com/digital-asset/daml/pull/6542 which required
   some changes since the constructors changed. If you want to review
   those changes in detail (they are pretty straightforward so not too
   important), it’s probably easiest to check out this PR and run
   ```
   git diff 2cd2a8f2a8
   daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/Compiler.scala
   ```
   to see the diff to the parent commit of the first commit that
   introduced ANF.

changelog_begin
changelog_end
2020-07-08 12:40:12 +02:00
..
daml-extension Bazel: Upgrade Buildifier. (#6625) 2020-07-06 16:07:47 +00:00
daml-lf-ast Constant lifting transformation in the LF simplifier. (#6101) 2020-06-18 17:36:28 +00:00
daml-lf-proto Fix unmangling of dotted identifiers in scenario service (#6597) 2020-07-03 11:17:27 +02:00
daml-lf-reader replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
daml-lf-tools Add some tests for constant lifting. (#6519) 2020-06-29 17:25:38 +01:00
daml-lf-verify Fix record update evaluation order. (#6590) 2020-07-03 11:25:44 +01:00
daml-licenses replace DAML Authors with DA in copyright headers (#5228) 2020-03-27 01:26:10 +01:00
damlc Revert ANF changes and add a testcase for evaluation order (#6645) 2020-07-08 12:40:12 +02:00
ghcide Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
hie-core Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
lsp-tests Prefix IDE include paths with project root (#6463) 2020-06-23 16:58:14 +02:00
repl-service Revert ANF changes and add a testcase for evaluation order (#6645) 2020-07-08 12:40:12 +02:00
scenario-service Revert ANF changes and add a testcase for evaluation order (#6645) 2020-07-08 12:40:12 +02:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01:00

README.md

DAML Compiler

This directory contains several libraries used by and the executable for the DAML compiler.

Libraries

  • daml-lf-ast: The DAML-LF AST and type checker.