daml
daml copied to clipboard
digital-asset
The Daml smart contract language
Currently the compiler ignores package IDs and doesn't do checks between package dependencies, so it only checks typecon names for equivalence in types. This makes it more permissive than the...
Unserializable data types could in theory be able to change to whatever they like, since they will never to be committed to the ledger in a way that is interacted...
his back-ports from main-2.x: - 924a1f35b427a6287758bedd1e8afa8b0dae2114 Java Codegen - JSON decoding: backport #19499 to main-2.x (#19507) - 4fa4f3b74bf918a03a0893d7461f6c6cf2afa4dc Java Codegen: ETX-534 support package names (#19485) branched from https://github.com/digital-asset/daml/pull/19555, but updates...
i think we’ve found a blocker regression with http json api : existing /v1/create and /v1/query payloads are failing with http json version 2.9.0-snapshot.20240627.12859.1.v8721b34e (the one referenced from https://github.com/digital-asset/daml/releases/tag/v2.9.0-rc2) (edited)...
explicit disclosed contract can be (down/up)graded as part of SCU. However we currently (in 2.9 and 3.0) require the package used to create the disclosure to be uploaded in the...
https://github.com/digital-asset/docs.daml.com/pull/742/files/e680e96da2f38b8aa05bb0cf74c10533b3fe1b9c#r1665960776
When comparing two versions of a template, we currently check that the key type of v2 upgrades the key type of v1. This wrong. We want the type system to...