daml/compiler
Moritz Kiefer 598698abb7
Support multi-party queries in daml script (#7682)
Small comment: This is technically not completely backwards compatible
since it messes with type inference. But to hit that you are doing
something sufficiently advanced that you should be able to add the
type annotation that is required

fixes #7635

changelog_begin

- [DAML Script] `query`, `queryContractId` and `queryContractKey` now
  accepts multiple parties using the `IsParties` abstraction used by
  `signatory`, `observer` and other fields. They will return all
  contracts for which any of the given parties is a stakeholder. Since
  `Party` is an instance of `IsParties`, this is fully backwards
  compatible.

changelog_end
2020-10-14 16:03:48 +02:00
..
daml-extension Remove version header from vscode snippet (#7452) 2020-09-21 16:59:47 +02:00
daml-lf-ast LF: Add ExerciseByKey Update (#7663) 2020-10-14 12:06:36 +02:00
daml-lf-proto LF: Add ExerciseByKey Update (#7663) 2020-10-14 12:06:36 +02:00
daml-lf-reader DEL-8132 extract DAML LF haskell libraries (scripted) (#7246) 2020-09-01 12:09:26 +10:00
daml-lf-tools LF: Add ExerciseByKey Update (#7663) 2020-10-14 12:06:36 +02:00
daml-lf-verify Fix record update evaluation order. (#6590) 2020-07-03 11:25:44 +01:00
daml-licenses Connectify user-facing output (#7624) 2020-10-09 15:45:02 +02:00
damlc Support multi-party queries in daml script (#7682) 2020-10-14 16:03:48 +02:00
ghcide Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
hie-core Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
lsp-tests Deprecate the "daml 1.2" version header. (#7513) 2020-09-29 13:14:59 +00:00
repl-service LF: add PackageInterface a lightweigh Package (#7577) 2020-10-13 12:41:22 +02:00
scenario-service LF: add PackageInterface a lightweigh Package (#7577) 2020-10-13 12:41:22 +02:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01:00

DAML Compiler

This directory contains several libraries used by and the executable for the DAML compiler.

Libraries

  • daml-lf-ast: The DAML-LF AST and type checker.