Release of Daml SDK 0.13.53

Daml Stdlib Restrict the (>>) operator to instances of Action and make it lazy in its second argument. This gives expressions of the form do A; B the desirable semantics of only running B when A is a successful action. Remove the Action and ActionFail instances for Validation in DA.Validation. Please enable the ApplicativeDo language extension if you want to...
Read More

Release of Daml SDK 0.13.52

Daml Assistant The assistant can now do completions for SDK commands, e.g., daml ledger upl will complete to daml ledger upload-dar. The new behavior introduced in 0.13.51 to shut down when stdin is closed is now disabled unless you explicitly enable it by passing --shutdown-stdin-close. Daml Script Add a HasTime instance for Script which allows you to get the current time (UTC in...
Read More

Release of Daml SDK 0.13.51

JSON API - Experimental In websocket endpoints, if a created and archived contract in the same result array share a contract key, the archived is guaranteed to occur earlier in the array than the created. See issue #4354. Daml Assistant Bash and Zsh completions will now fall back to regular file completions after the command argument. The Daml assistant will now shut down long-running...
Read More

Release of Daml SDK 0.13.50

Daml Compiler damlc test now initializes the packagedb automatically which means that it will work on projects that declare custom dependencies in daml.yaml without having to call damlc init first. Choices marked explicitly as preconsuming are now equivalent to a nonconsuming choice that calls archive self at the beginning. Daml Integration Kit The simplified kvutils API now...
Read More

Release of Daml SDK 0.13.46

Sandbox The sandbox uses a new payload format for authentication tokens (JWTs). The old format is deprecated, but still works. Metrics are now namespaced by "daml" and their names have been standardized to snake_case. Daml Studio Scenarios with unserializable result types no longer crash the scenario service. Fix a bug introduced in 0.13.43 that caused Daml studio to stop responding...
Read More

Release of Daml SDK 0.13.43

Daml Compiler The build-options field from daml.yaml is now also respected when --project-root is used. Daml SDK Docker images for this release and releases in the future are built using the Dockerfile of the corresponding git tag and are therefore stable. Previously, they were updated whenever the Dockerfile changed. Ledger API Server BREAKING CHANGE lookupByKey now requires the...
Read More

Release of Daml SDK 0.13.42

JSON API - Experimental Rename argument in active contract to payload. See #3826. Change variant JSON encoding. The new format is { tag: data-constructor, value: argument }. For example, if we have: data Foo = Bar Int | Baz, these are all valid JSON encodings for values of type Foo: {"tag": "Bar", "value": 42} {"tag": "Baz", "value": {}} See #3622 Fix /contracts/lookup find by contract...
Read More

Release of Daml SDK 0.13.40

Daml Compiler The modules DA.Types and GHC.Tuple from daml-prim have been moved to separate DALF packages. Fixed an issue where packages produced by damlc resulted in type errors during validation by Daml engine. Sandbox The sandbox JWT authentication now respects the ledgerId and participantId fields of the token payload. Improve loading of active contracts for the Sandbox SQL backend....
Read More

Release of Daml SDK 0.13.39

0.13.39 - 2019-12-05 Java Bindings Added authentication support. See issue #3626 Daml Compiler The modules GHC.Prim and GHC.Types from daml-prim have been moved to separate packages. Don't make UndecidableSuperClasses a default language extension for Daml anymore. If you really need this feature for a module, you can reenable it using a LANGUAGE pragma at the top. Daml SDK Reduced the...
Read More

Release of Daml SDK 0.13.38

Ledger API Allow non-alphanumeric characters in Ledger API server participant ids (space, colon, hash, slash, dot). Proper fix for change originally attempted in v0.13.36. See issue issue #3327. Add healthcheck endpoints, conforming to the GRPC Health Checking Protocol. It is always SERVING for now. Ledger API Server Ledger API Server and Indexer now accept an instance...
Read More