daml/daml-lf/interpreter
Robin Krom fcd3b6622b
ifaces:support exercising by required interface (#13554)
* ifaces:support exercising by required interface

This adds support to exercise an interface choice on a contract ID,
where the interface is required by one of the implemented interfaces of
the contract template.

Fixes #13434.

CHANGELOG_BEGIN
CHANGELOG_END

* some improvements based on review

* added a test plus a bugfix

* Update daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/PhaseOne.scala

Co-authored-by: Sofia Faro <sofia.faro@digitalasset.com>

* 2 more interface tests for the command preprocessor

Co-authored-by: Sofia Faro <sofia.faro@digitalasset.com>
2022-04-12 18:15:29 +00:00
..
perf LF: Add LoggingContext to Speedy Machine (#12976) 2022-02-21 13:34:46 +01:00
src ifaces:support exercising by required interface (#13554) 2022-04-12 18:15:29 +00:00
BUILD.bazel LF: Add LoggingContext to Speedy Machine (#12976) 2022-02-21 13:34:46 +01:00