Martin Huschenbett 2e08e2a9d7 Change contract key maintainers to have template argument in scope (#298) ... * Change contract key maintainers to have template argument in scope More precisely, change the contract key type class we desugar the surface syntax to such that the maintainers function has the template argument in scope instead of the key. The compiler rewrites all references to the template argument into references to the key and fails whenever that is not possible. * Add TemplateKey class to desugaring module * Make template key check slightly more lenient * Fix TODO descriptions		2019-04-09 09:14:03 +02:00
..
scenario	Change contract key maintainers to have template argument in scope (#298)	2019-04-09 09:14:03 +02:00
AuthorizedDivulgence.daml	open-sourcing daml	2019-04-04 09:33:38 +01:00
BasicTests.daml	open-sourcing daml	2019-04-04 09:33:38 +01:00
BUILD.bazel	Stdlib package (#229)	2019-04-05 18:11:13 +02:00
ConjunctionChoices.daml	open-sourcing daml	2019-04-04 09:33:38 +01:00
daml-lf-test.sh	open-sourcing daml	2019-04-04 09:33:38 +01:00
DontDiscloseNonConsumingChoicesToObservers.daml	open-sourcing daml	2019-04-04 09:33:38 +01:00
LargeTransaction.daml	open-sourcing daml	2019-04-04 09:33:38 +01:00
Optional.daml	open-sourcing daml	2019-04-04 09:33:38 +01:00
scala-test-limited-stack.sh	open-sourcing daml	2019-04-04 09:33:38 +01:00