daml/daml-script
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
..
converter LF: Structure stable packages (#13682) 2022-04-26 12:47:06 +00:00
daml Add performance warning to queryContractId & queryContractKey (#14754) 2022-08-18 17:59:46 +02:00
export Adds verified configuration and testing to issue #14562 2022-08-10 23:05:55 +01:00
runner [engine] avoid construction of unrestricted speedy expression applications (#15079) 2022-09-26 14:33:51 +01:00
test Remove reliance on implicit party allocation in CI tests [DPP-1234] (#15037) 2022-09-22 10:20:53 +02:00