daml/triggers
nickchapman-da 3180094987
[engine] avoid construction of unrestricted speedy expression applications (#15079)
Avoid construction of unrestricted speedy expression applications.SEApp (alias for SEAppGeneral)

- Replace occurrences of SEApp(General) to use SEAppAtomic, with SELet1 as required
- Add new helper SEApp for many cases where arguments are simple values.
- Rename the most general unrestricted constructor as SEAppGeneral_DEPRECATED. The only remaining use is by fromUpdateSExpr and fromScenarioSExpr, due to our unprincipled approach to stack-trace. See TODO in pushLocation. I hope to fix this in a future PR.
- Rename the slightly less unrestricted constructor as SEAppOnlyFunIsAtomic_DEPRECATED. The only call site being in Anf.scala (for the case when ANF is not performed). Maybe one day we can perform ANF in all cases, and hence remove this one remaining usage.
2022-09-26 14:33:51 +01:00
..
daml Add queryFilter to triggers (#13769) 2022-05-02 17:36:57 +00:00
runner [engine] avoid construction of unrestricted speedy expression applications (#15079) 2022-09-26 14:33:51 +01:00
service Remove reliance on implicit party allocation in CI tests [DPP-1234] (#15037) 2022-09-22 10:20:53 +02:00
tests 6 - Ledger API changes for UM/UP extensions for Hub [DPP-1211] (#14937) 2022-09-26 12:56:55 +00:00