daml
daml copied to clipboard
digital-asset
The Daml smart contract language
The problem here is that we use the location information in the DA-GHC AST for (at least) two purposes: * Providing error messages in LF conversion and typechecker. * Showing...
Use the interface name instead of type synonyms in *interface instance*s: It is common to use a qualified type synonym `I` for interfaces. For instance: ``` import Daml.Finance.Interface.Asset.Instrument qualified as...
interface methods are currently also duplicated as functions in the documentation, maybe this is not necessary (spun off from https://github.com/digital-asset/daml/issues/14694)
Avoid generating doc for interface type-classes / instances such as `HasToInterface`, `HasFromInterface` or `HasImplementation` (spun off from https://github.com/digital-asset/daml/issues/14694)
Final cleanup after #13669: * [ ] wait for 2.4.0 to branch off * [ ] rename the Maven artifact from daml-lf-interface to daml-lf-api-type-signature * [ ] remove the symbols...
### What is the problem you want to solve? I want to be able to use the [Ledger API command deduplication feature](https://docs.daml.com/2.3.2/app-dev/command-deduplication.html#command-deduplication) by providing a submission ID alongside my commands....
CHANGELOG_BEGIN CHANGELOG_END ### Pull Request Checklist - [ ] Read and understand the [contribution guidelines](https://github.com/digital-asset/daml/blob/main/CONTRIBUTING.md) - [ ] Include appropriate tests - [ ] Set a descriptive title and thorough...
Check that the JsonReader instance for ContractMetadata is correct in JsonLedgerClient once the JSON API supports contract metadata via the query endpoints (#14260). https://github.com/digital-asset/daml/blob/d721dce1bf2899451a7b0dcb1caaa54d7fc957af/daml-script/runner/src/main/scala/com/digitalasset/daml/lf/engine/script/ledgerinteraction/JsonLedgerClient.scala#L965-L983
This should fail but it succeeds ``` module Main where import Daml.Script template T with p : Party where signatory p nonconsuming choice Fetch : T with p' : Party...
