daml/compiler/daml-lf-tools
Sofia Faro 3b08440fe7
Strip ELocation nodes in simplifier rules. (#6930)
* Strip ELocation nodes in simplifier rules.

Uses stripLoc in the patterns used by the simplifier. This change
reduces the size of the generated code by 1.5% for a very large project,
meaning we had rules (like `let x = e in x`) that weren't trigerring
because of the `ELocation` nodes that weren't being properly ignored.

changelog_begin
changelog_end

* More stripLoc
2020-07-30 14:37:35 +00:00
..
src/DA/Daml/LF Strip ELocation nodes in simplifier rules. (#6930) 2020-07-30 14:37:35 +00:00
tests/DA/Daml/LF/Simplifier Add some tests for constant lifting. (#6519) 2020-06-29 17:25:38 +01:00
BUILD.bazel Add some tests for constant lifting. (#6519) 2020-06-29 17:25:38 +01:00