Martin Huschenbett 9f43ab95ac Fix evaluation order for create with contract keys (#5972) ... Currently, a call to `create` for a template with a contract key evaluates the key even before _executing_ the `create`, which is _way_ too early. See #5967 for examples what this implies. This change moves the evaluation of the key into the execution of the `create` and therein _after_ the evaluation of the `ensure` clauses, which is where it belongs according to the DAML-LF specification. Unfortunately, the specification does not say anything about the relative evaluation order of the `agreement`, `signatory`, `observer` and `key` clauses. Thus, I've deciced to evaluate the key after the other three, which seems to be its natural place given its optionality. This fixes #5967. CHANGELOG_BEGIN CHANGELOG_END		2020-05-13 21:31:32 +00:00
..
scenario	Scenario service: fails when trying to lookup not visible key (#5561)	2020-04-23 21:55:39 +02:00
AuthorizedDivulgence.daml	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
BasicTests.daml	Fix evaluation order for create with contract keys (#5972)	2020-05-13 21:31:32 +00:00
BUILD.bazel	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
ConjunctionChoices.daml	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
daml-lf-test.sh	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
DontDiscloseNonConsumingExercisesToObservers.daml	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
LargeTransaction.daml	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
Optional.daml	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00
scala-test-limited-stack.sh	replace DAML Authors with DA in copyright headers (#5228)	2020-03-27 01:26:10 +01:00