Release notes¶
This page contains release notes for the SDK.
1.3.0 - 2020-07-16¶
Summary¶
- The Websocket query and fetch APIs are now stable.
- The JSON API Server is now released as a standalone JAR file to GitHub Releases.
- DAML Script and REPL now work in Static Time mode and can query parties.
- DAML Studio exposes more details on how contracts were disclosed.
- The Trigger Service, a solution to host and manage DAML Triggers is now available in Early Access.
Known Issues¶
The DAML Studio VSCode extension is affected by a known and recently fixed bug in recent VSCode versions: https://github.com/microsoft/vscode/issues/89038
For some users this may lead to the Scenario View in VSCode not rendering correctly. If you are affected by this issue upgrading to VSCode 1.47 should resolve it.
What’s New¶
Websocket API is stable¶
Background¶
The JSON API Server exposes several Websocket endpoints which allow clients to maintain a live view of contract data without polling. These endpoints have been available since before SDK 1.0 in early access, and are now considered stable.
Specific Changes¶
- The API specification for the
/v1/stream/query
and/v1/stream/fetch
endpoints are finalized and fully implemented.
Impact and Migration¶
The final version of these endpoints is backwards compatible with SDK 1.0 in the sense that clients of these endpoints from SDK 1.0 work with SDK 1.3. Thus no action needs to be taken.
Standalone JSON API Server¶
Background¶
The JSON API Server is a component intended to be run in production environments to supplement the lower level Ledger API with an easy-to-use queryable ledger state consumable by any HTTP 1.1 client, including web browsers. Despite this intended use case, the JSON API Server was only distributed as part of the SDK, which meant that the DAML SDK had to be installed on production servers in order to run the JSON API Server. Providing a stand-alone JAR distribution gives application operators a much leaner deployment option.
Specific Changes¶
- A stand-alone JAR distribution of the JSON API Server is available at https://github.com/digital-asset/daml/releases/download/v1.3.0/http-json-1.3.0.jar
Impact and Migration¶
This is purely additive to the distribution via the SDK so no action is needed. However, if you do run the JSON API Server in a test or production environment, this gives you a leaner and more portable way of doing so.
More functionality in DAML Script and REPL¶
Background¶
DAML Script and REPL had some limitations in key test and
production use cases. Firstly, neither exposed the Time Service,
which made them hard to use in static time mode. Secondly, they
only exposed functions to allocate parties, not to query existing
parties, which required existing parties to be passed in via a
file, or to be obtained using unsafe functions like
partyFromText
. By exposing the relevant functions of the Ledger
API in DAML Script and REPL, Ledger Time can now be queried and set
in Static Time mode, and existing parties can be queried.
In addition, it is now possible to use DAML Script and REPL with multiple JWTs, which in particular, means they can be used with multiple parties on DABL.
Specific Changes¶
- DAML Script and REPL’s
getTime
now correctly handles time changes in static time mode and returns the current time by querying the time service rather than defaulting to the Unix epoch. This only works in static time mode and via gRPC. In wallclock mode,getTime
continues to return the system time in UTC. When run against the JSON API in static time mode, it continues returning Unix epoch. - Add
setTime
to DAML Script and REPL which sets the ledger time via the Ledger API time service. This only works in static time mode and via gRPC. - Add
listKnownParties
andlistKnownPartiesOn
to query the corresponding ListKnownParties endpoint in the Party Management service. - The time mode for DAML REPL can now be specified using
the
--static-time
and--wall-clock-time
flags. - You can now use DAML Script with multiple auth tokens. This is
particularly useful if you are working with the JSON API where you
can only have one party per token or with an IAM that only
provides single-party tokens. The tokens are specified in the
participant configuration passed via
--participant-config
in a newaccess_token
field. The existing--access-token-file
flag is still supported if you want to use the same token for all connections. Take a look at the documentation for more details.
Impact and Migration¶
This functionality is purely additive so no action needs to be taken.
More Privacy Information in DAML Studio¶
Background¶
DAML Studio’s Scenario view allows developers to explore the transactions resulting from their DAML models in real time. One of the main uses of doing so is to verify that privacy is preserved as expected. Until now, the available views only gave information on who got to see a contract and through which transaction. SDK 1.3 adds information on the mechanism through which a party learned about a contract. This saves the developer the work of inferring this from the detailed transaction view.
Specific Changes¶
- When displaying scenario results in table view in DAML Studio,
there’s now a new checkbox “Show Detailed Disclosure” which shows
indications why a party knows about the existence of a
contract:
S
means the party is a signatory.O
means the party is an observer.W
means the party has witnessed the creation of the contract.D
means the party has learned about the contract via divulgence.
Impact and Migration¶
This functionality is purely additive so no action needs to be taken.
Early Access Trigger Service¶
Background¶
DAML Triggers give developers the ability to write automation of DAML applications in the style of database triggers using the DAML language itself, aiding code reuse and allowing contract definitions and basic automation to be packaged and shipped together. These triggers need to be managed at runtime, which until now required developers to manage individual JVM processes, raising the bar to actually deploying DAML Triggers in production. The Trigger Service provides a way to manage DAML Triggers via a simple REST API.
The Trigger Service is currently in Alpha, meaning API changes are still likely, and it notably doesn’t support authentication yet.
Specific Changes¶
- Added the
daml trigger-service
command to the SDK to start the Trigger Service. More information in the documentation.
Impact and Migration¶
This functionality is purely additive so no action needs to be taken. If you are already evaluating Triggers for your application, we highly recommend trying out the Trigger Service as it should ease their use considerably. We welcome your feedback.
Minor Improvements¶
- The Java Binding’s
Bot.wire
andBot.wireSimple
now return aDisposable
, which can be used to shut down the flows. You are encouraged to call.dispose()
before terminating the client. - Added a CLI option for specifying the initial skew parameter for
the time model. You can control the allowed difference between the
Ledger Effective Time and the Record time using the
--max-ledger-time-skew
flag. - When run with persistence, the Sandbox used to crash if the database wasn’t running during startup. It now instead waits for the database to start up.
- Additional CLI options to configure the write pipeline in Sandbox,
allowing operators to determine at what point back pressure is
applied. See
daml sandbox --help
for details. - Initialize the loading indicators in @daml/react of
useQuery
,useFetchByKey
and their streaming variants withtrue
. This removes a glitch where the loading indicator wasfalse
for a very brief moment when components using these hooks were mounted although no data had been loaded yet. Code using these hooks does not need to be adapted in response to this change. - The create-daml-app example can now be run against a HTTP JSON API
port specified in the environment variable
REACT_APP_HTTP_JSON_PORT
- Improved error messages on unsuccessful key lookups.
Bug and Security Fixes¶
damlc test --project-root
now works with relative paths as well.- The Package Management Service’s
ListKnownParties
response’sPartyDetails
now properly reflects where a party is non-local on distributed, multi-participant ledgers that expose parties to remote participants. - The application identifier in a command submission request is now checked against the authorization token. See https://github.com/digital-asset/daml/issues/4409.
- In scenarios, fetches and exercises of contract keys associated with contracts not visible to the submitter are now handled properly instead of showing a low-level error.
- Some libraries in the DAML Studio VS Code Extension were updated to fix security issues. DAML Studio now requires VSCode 1.39 or newer.
- Fix an issue in DAML Script where the
port
was ignored for non-empty paths in the url when running DAML Script over the JSON API. - Fix an issue in the Ledger API indexer that could have caused a crash in the presence of divulged contracts. Exclusively affects DAML ledger implementations where distributed participants each only see a portion of the ledger. The sandbox is not affected. See https://github.com/digital-asset/daml/pull/6607.
Ledger Integration Kit¶
- The Ledger API Test Tool
--exclude
and--include
flags now match the full test name as a prefix, rather than just suite names. Test name is built by combining the suite name with a test identifier, so this change should be fully backwards compatible. Run with--list-all
to list all tests (as opposed to just the test suites with--list
). - LfValueTranslation.Cache now requires separate configuration of
lfValueTranslationEventCache
andlfValueTranslationContractCache
- Upgrade auth0 jwks-rsa version to 0.11.0
- KVUtils does not commit output keys whose value is identical to input anymore
- The Ledger API Server + Sandbox now accepts a new time model if
none is set. Previously, it would erroneously be rejected because
the generation number submitted to was incorrectly set to
2
rather than1
. This would not affect most users of Sandbox or other kvutils-based ledgers, as if a configuration is set automatically on startup when creating a new ledger. This affects users who explicitly override the initial ledger configuration submit delay to something longer than a few milliseconds. - Add 8 new timer metrics to track database performance when
storing transactions. The overall time is measured by
daml.index.db.store_ledger_entry
.- Timer
daml.index.db.store_ledger_entry.prepare_batches
: measures the time for preparing batch insert/delete statements - Timer
daml.index.db.store_ledger_entry.events_batch
: measures the time for inserting events - Timer
daml.index.db.store_ledger_entry.delete_contract_witnesses_batch
: measures the time for deleting contract witnesses - Timer
daml.index.db.store_ledger_entry.delete_contracts_batch
: measures the time for deleting contracts - Timer
daml.index.db.store_ledger_entry.insert_contracts_batch
: measures the time for inserting contracts - Timer
daml.index.db.store_ledger_entry.insert_contract_witnesses_batch
: measures the time for inserting contract witnesses - Timer
daml.index.db.store_ledger_entry.insert_completion
: measures the time for inserting the completion - Timer
daml.index.db.store_ledger_entry.update_ledger_end
: measures the time for updating the ledger end
- Timer
- Added 4 new timer metrics to track DAML execution performance The
overall time is measured by
daml.execution.total
- Timer
daml.execution.lookup_active_contract_per_execution
: measures the accumulated time spent for looking up active contracts per execution - Histogram
daml.execution.lookup_active_contract_count_per_execution
: measures the number of active contract lookups per execution - Timer
daml.execution.lookup_contract_key_per_execution
: measures the accumulated time spent for looking up contract keys per execution - Histogram
daml.execution.lookup_contract_key_count_per_execution
: measures the number of contract key lookups per execution
- Timer
1.2.0 - 2020-06-10¶
Summary¶
- Module prefixes can now be stored in
daml.yaml
. This means that you can use multiple versions of libraries in the same project by specifying them indaml.yaml
instead of with the--package
command line flag. - A new flag,
--max-lf-value-translation-cache-entries
, allows you to set a number of events for which DAML-LF values will be cached. This can help reduce latency when serving transactions.
What’s New¶
Module Prefixes¶
Background¶
When upgrading a package using a DAML upgrade workflow, one has to import both the old and new version of the package as dependencies. If both the package and module names are the same, this used to require setting compiler flags. The new Module Prefixes feature gives an easier means of disambiguating the packages and modules.
Specific Changes¶
The compiler picks up a new block module-prefixes
specified
in daml.yaml
. module-prefixes
takes entries of the form
package: Prefix
, and modules from the package are then accessible using that
prefix. For example, the below makes
module X
from foo-1.0.0
available as Foo1.X
,
and X
from foo-2.0.0
as Foo2.X
.
module-prefixes:
foo-1.0.0: Foo1
foo-2.0.0: Foo2
Refer to the documentation for detailed information.
Impact and Migration¶
This is a purely additive feature, so no migration is necessary. If
your project uses the old --package
compiler flag to disambiguate
packages, you can switch to this simpler method.
Minor Improvements¶
- The Sandbox’s
--max-lf-value-translation-cache-entries
option allows you to set a number of events for which DAML-LF values are cached. This can reduce latency in serving transactions. daml damlc inspect-dar
now has a--json
flag to produce machine-readable output. See the documentation for more information.- The Scala bindings have gained a method,
LedgerClient#close
, which will shut down the channel and await termination. This is optional; the channel will still be shut down on JVM exit if this method is not called. - Record dot syntax like
rec.field1.field2
is now handled in expressions entered into the REPL. daml trigger
,daml script
anddaml repl
now all support the--max-inbound-message-size
command line flag, which configures the maximum size of transactions that can be handled.- The
createAndExerciseCmd
command has been added to DAML Triggers.
Security and Bugfixes¶
- Dependencies have been upgraded to newer versions to avoid
exposure to reported security vulnerabilities.
- Upgrade
jackson
version to2.11.0
from2.9.9.3
- Upgrade
io.grpc:grpc-xxxxx
andio.netty:netty-xxx
version to latest - Upgrade
protobuf
andprotobuf-java
to 3.11.0
- Upgrade
- A Sandbox Classic migration issue when used with postgres has been fixed. See #6017
- A bug where large multi-command transactions would cause a stack overflow in DAML Script was fixed.
- The Standard Library’s
DA.Text.splitOn
function will now correctly handle the case where the separator appears at the end but should not be matched, as insplitOn "aa" "aaa" == ["", "a"]
. See #5786 for more details. - The DAML linter, dlint, has been improved by removing some Haskell-based rules not currently applicable to DAML and by changing some function references.
Ledger Integration Kit¶
- The Ledger API Server emits new metrics for the LF Value Cache. If
the
--max-state-value-cache-size
is greater than zero, the following additional metrics will be recorded under thedaml.kvutils.submission.validator.state_value_cache
namespace:hits
misses
load_successes
load_failures
load_total_time
evictions
evicted_weight
- Added new Ledger API Server metrics
for
daml.index.db.*.translation
to measure the time spent translating to and from the serialized DAML-LF values when fetched from the participant index. - Added new Ledger API Server metrics
for
daml.index.db.*.deserialization
to measure the duration of the translation of the serialized DAML-LF values when fetched from the participant index. - The Ledger API Test Tool has gained
the
TransactionSize
performance benchmark test.
1.1.1 - 2020-05-13¶
Summary¶
- New package management endpoints on the JSON API
- Better TLS Support for the JSON API
- Action required if you start the JSON API using daml json-api and do not run it behind a reverse proxy.
What’s New¶
New Package Management Endpoints on the JSON API¶
Background¶
The Ledger API’s package management service allows uploading, downloading and listing of DAML packages available on a DAML Ledger. For situations where connecting to the Ledger API is not possible or is inconvenient, these services are now available through the JSON API as well.
Specific Changes¶
The JSON API has three new endpoints
GET /v1/packages
– returns all package IDsGET /v1/packages/<package ID>
– downloads a given DALF packagePOST /v1/packages
– uploads a DAR file to the ledger
Impact and Migration¶
This is a purely additive change. Users who connect to gRPC from their applications for the sole purpose of managing DAML packages may switch over to the new endpoints to eliminate dependencies on gRPC or Ledger API language bindings.
Better TLS Support for the JSON API¶
Background¶
In addition to the numerous new TLS options introduced in SDK 1.0.0, the JSON API can now also connect to the Ledger API via TLS. To protect against insecure connections which may leak access tokens, it also adds a warning if not run behind a reverse proxy that terminates TLS connections. This warning will become an error in a future release.
Specific Changes¶
- The JSON API accepts new command line parameters
--pem
,--crt
,--cacrt
, and--tls
, which configure it to connect to the Ledger API using TLS. - By default, the JSON API now checks that connections are made
through a reverse-proxy providing HTTPS, ensuring that JWT tokens
don’t leak. To disable this check, such as for development, pass
--allow-insecure-tokens
. A failed check currently results in a warning.
Impact and Migration¶
daml start
automatically sets this flag so there is no migration
needed. If you are starting the JSON API manually, we advise you to
add the flag --allow-insecure-tokens
for development environments,
and to run the JSON API behind a TLS-enabled reverse proxy in
production.
Minor Improvements¶
- Faster Sandbox reset via the ResetService.
daml trigger
anddaml script
now default to wall clock time if neither--wall-clock-time
or--static-time
is passed.- daml script now has an
--output-file
option that can be used to specify a file the result of the script should be written to. Similar to--input-file
the result will be output in the DAML-LF JSON encoding. - You can now disable implicit party allocation of the Sandbox by
passing the flag
--implicit-party-allocation=false
. This makes it easier to test as you would against another ledger which does not support this feature. - The
daml ledger
commands no longer require the Bearer prefix in the access token file. This matches the behavior of DAML Script and other SDK tools. - Added
--max-commands-in-flight
to Sandbox CLI configs. This limits the maximum number of unconfirmed commands in flight in CommandService.
Improvements to Early Access Features¶
daml damlc visual
now works properly in projects consisting of multiple packages.- Fix a bug where
exerciseByKey
was not properly recognized by daml damlc visual. - DAML REPL now produces better error messages on calls to
error
andabort
.
Bug Fixes¶
- Fix a bug where scenarios with names containing special characters resulted in a crash in the scenario service.
- The Sandbox properly respects the
--log-level
CLI parameter - The sandbox now properly delays command submissions using
minLedgerTimeAbs
orminLedgerTimeRel
. See issue #5480. - Migrating from Sandbox 0.13.55 to Sandbox Classic 1.0.0 could have introduced contracts falsely reported as active when in fact they are not. Migrating to Sandbox Classic 1.1.0 will fix the issue. See issue #5659.
Changes to Ledger Integration Kit¶
These changes only affect ledger integrators and operators that consume the metrics emitted by the DAML Integration Kit. We have introduced new metrics and adjusted the naming of existing metrics to be consolidated. If you have built a dashboard for a ledger built using the integration kit, then you will need to adapt that dashboard. The changes are as follows.
We have introduced these new metrics:
- a timing metric for the commit at
daml.kvutils.writer.commit
. - a metric for command validation upon submission,
daml.commands.validation
. daml.commands.submissions
is a new timer that measures all submissions.daml.commands.valid_submissions
is a new meter that counts valid(unique, interpretable)
submissions.daml.kvutils.reader.parse_updates
is a new timer that measures the translation time of ledger log entries when serving state updates to the indexer.daml.kvutils.reader.open_envelope
is a new timer that measures the deserialization time of ledger log entries when serving state updates to the indexer.daml.ledger.log.append
is a new timer that measures the time for writing new log entries.daml.ledger.state.read
is a new timer that measures reading from the ledger state.daml.ledger.state.write
is a new timer that measures writing to the ledger state.- We have renamed these metrics:
daml.lapi.command_submission_service.failed_command_interpretations
has been renamed todaml.commands.failed_command_interpretations
.daml.lapi.command_submission_service.deduplicated_commands
has been renamed todaml.commands.deduplicated_commands
.daml.lapi.command_submission_service.delayed_submissions
has been renamed todaml.commands.delayed_submissions
.daml.lapi.command_submission_service.submitted_transactions
has been renamed todaml.services.write.submit_transaction
.
- The metrics registry should now be passed using the new
com.daml.metrics.Metrics
type, which wraps/replacescom.codahale.metrics.MetricsRegistry
. maxDeduplicationTime
configuration (the maximum time window during which commands can be deduplicated) has moved fromSubmissionConfiguration
to theConfiguration
class.- Engine is now mandatory in several participant api server related constructors to avoid running multiple interpretation engines.
1.0.1 - 2020-04-27¶
This is a bugfix release for SDK 1.0.0. All users of SDK 1.0.0 are encouraged to upgrade at their earliest convenience. This release fixes 3 issues:
Fix an issue with false negative contract key lookups by non-stakeholders (see https://github.com/digital-asset/daml/issues/5562 for details).
This issue affected the new Sandbox introduced in SDK 1.0.0 (but not sandbox-classic) as well as the scenario service. Both Sandbox and the scenario service are fixed.
Fix a crash in the scenario service.
SDK 1.0 introduced a bug where the scenario service would crash if a failing transaction contained transient contracts. In DAML Studio this was shown as the following error:
BErrorClient (ClientIOError (GRPCIOBadStatusCode StatusUnknown (StatusDetails {unStatusDetails = \“\”})))
- Fix an issue where Sandbox incorrectly rejected certain commands
relying on
getTime
during validation (see https://github.com/digital-asset/daml/issues/5662 for details). This was only an issue if you set eithermin_ledger_time_rel
ormin_ledger_time_abs
.
1.0.0 - 2020-04-15¶
Summary¶
- New JavaScript/TypeScript client-side tooling is now stable and the recommended way to build DAML applications. A new Getting Started Guide based on these tools has replaced the Quickstart guide.
- The Time Model has been improved so that it works seamlessly without user input to the Ledger API. Action needed when you update to the latest version of API bindings or recompile gRPC clients.
- More TLS configuration options for DAML Ledgers.
- The next generation Sandbox is now the default, bringing an experience closer to a distributed ledger. Immediate action is needed if your project is relying on scenarios for ledger initialization.
- Cleanup of names, deprecated features and language versions.
Immediate action needed if you use any Java dependencies with
com.digitalasset
packages or Maven coordinates.
Known issues¶
- The new Sandbox has a known issue where some false negative contract key lookups are only correctly validated on the read path, not on the write path. The net effect is that with carefully constructed DAML models, non-conformant transactions can be recorded in the underlying storage, which may lead to data continuity issues when this issue is fixed. Full details can be found on GitHub issue #5563.
What’s New¶
New Client Tooling¶
Background¶
Distributed applications are much more than smart contracts running on a distributed ledger, and in 2019 we set out to make it significantly easier to build that part of applications which lives off-ledger: Automations, Integrations, and UIs. The new tooling is focused on giving application developers an easy-to-consume, real-time ledger state, which moves the development experience away from event sourcing and makes it similar to working with a database.
- The HTTP JSON API: giving a queryable view of the ledger state and endpoints to submit transactions, all using an easy-to-consume JSON format.
- A JavaScript/TypeScript code generator: turning a DAML package into a (typed) library to interact with the HTTP JSON API.
- A set of JavaScript/TypeScript client libraries: working hand in hand with the code generator to interact with the HTTP JSON API, and bind ledger data to React components.
- A new Getting Started Guide shows how all these pieces fit together to build a complete distributed end-to-end application with a custom UI.
The HTTP JSON API is designed to be consumable from any language ecosystem. The choice of JavaScript (and React) for the rest of the tooling was driven by the desire to aid application development all the way up to UIs, using the most widely adopted technologies.
Specific Changes¶
- The documentation has a new Getting Started Guide. The previous Quickstart guide has moved under the Java Bindings section.
- There is a new SDK template with a skeleton for an end-to-end
application using the new tooling. It’s documented and used in the
new Getting Started Guide. Use
daml new create-daml-app create-daml-app
to get started. - The
/v1
endpoints of the HTTP JSON API and the JavaScript Code Generator and Support Libraries are now stable.- The JSON API has gained an endpoint to allocate parties:
/v1/parties/allocate
.
- The JSON API has gained an endpoint to allocate parties:
- Support for maps and lists has been removed from the query language.
- Note that the WebSockets streaming endpoint of the HTTP JSON API is still under development.
Impact and Migration¶
The new client tooling is almost purely additive so for most, no action is needed. For new applications, we recommend this tooling as it makes a lot of things quicker and easier. However, direct use of the Ledger API and HTTP JSON API continues to be a good option for anyone needing lower-level control or wanting to use a different language for their applications.
The only non-backwards compatible change compared to previous versions is the removal of queries on lists and maps in the HTTP JSON API. There is no trivial migration for this. If you were relying on these capabilities please get in touch with us via community@daml.com, on our forum, or on Slack. We’d like to hear how you were making use of the feature so that we can replace it with something better, and we will make some suggestions to work around the removal.
Improved Time Model¶
Background¶
SDK Release 0.13.55 introduced a new method for command deduplication
and deprecated the command field maximum_record_time
. SDK Release 1.0
further improves the Ledger Time model so that users no longer need
to pass in any time related information to the Ledger API. The new
time model is designed to work under almost all circumstances without
user intervention, making developing applications against DAML
Ledgers easier in practice.
Specific Changes¶
- The Sandbox no longer emits Checkpoints at regular intervals in wall clock mode.
- The
ledger_effective_time
andmaximum_record_time
fields have been removed from the Ledger API, and corresponding fields have been removed from the HTTP JSON API and Ledger API language bindings. - The
--default-ttl
command line argument of the HTTP JSON API is gone. - Ledger Time is no longer strictly monotonically increasing, but only follows causal monotonicity: Ledger Time of transactions is greater than or equal to the Ledger Time of any input contract.
- The Command Service is no longer idempotent with respect to
duplicate submissions. Duplicate submissions now instead return an
ALREADY_EXISTS
error, consistent with the new deduplication mechanism of the Command Submission Service.
Impact and Migration¶
Old applications will continue running against new ledgers, but ledger time and maximum record time set on submissions will be ignored. As soon as the client-side language bindings or compiled gRPC services are updated, the fields will need to be removed as they are no longer part of the API specification.
Better TLS Support¶
Background¶
DAML Ledgers have always supported exposing the Ledger API via TLS, but support on consuming applications was inconsistent and often required client certificates. From this release onward, more client components support consuming the Ledger API via TLS without client authentication.
Specific Changes¶
- When Sandbox is run with TLS enabled, you can now configure the
requirement for client authentication via
--client-auth
. See the documentation for more information. - The
daml deploy
anddaml ledger
commands now support connecting to the Ledger API via TLS. See their documentation for more information. - DAML Script and DAML Triggers now support TLS by passing the
--tls
flag. You can set certificates for client authentication via--pem
and--crt
and a custom root CA for validating the server certificate via --cacrt
. - Navigator, DAML Script, DAML REPL, DAML Triggers, and Extractor
can now run against a TLS-enabled ledger without client
authentication. You can enable TLS without any special
certificates by passing
--tls
. - DAML Script and DAML Triggers have the option to configure
certificates for client authentication via
--pem
and--crt
and a custom root CA for validating the server certificate via--cacrt
.
Impact and Migration¶
This is a new capability, so no action is needed. These new features are useful in production environments where client to ledger connections may need to be secured.
Next Generation Sandbox¶
Background¶
The DAML Sandbox has had a major architectural overhaul to bring it and its user experience even closer in line with other DAML Ledgers. The new Sandbox is now the default, but the “classic” Sandbox is included as a deprecated version in this release. The classic Sandbox will be removed from the SDK in a future release and will not be actively developed further.
Specific Changes¶
- daml sandbox and daml start start the new Sandbox. The classic
sandbox can be invoked via
daml sandbox-classic
anddaml start --sandbox-classic
. - Wall Clock Time mode (
--wall-clock-time
) is now the default. - Scenarios are no longer supported for ledger initialization.
- Contract identifiers are hashes instead of longer sequence
numbers.
- A new static contract identifier seeding scheme has been added
to enable reproducible contract identifiers in combination with
--static-time
. Set flag--contract-id-seeding=static
to use it.
- A new static contract identifier seeding scheme has been added
to enable reproducible contract identifiers in combination with
- Ledger API Offsets are no longer guaranteed to be a parsable number. They are an opaque string that can be compared lexicographically.
- The command line flags
--auth-jwt-ec256-crt
and--auth-jwt-ec512-crt
were renamed to--auth-jwt-es256-crt
and--auth-jwt-es512-crt
, respectively, to align them with the cryptographic algorithms used.
Impact and Migration¶
The impact is primarily on demo applications running in static time mode and/or using scenarios for ledger initialization. Since both the classic and new Sandbox are compliant DAML Ledgers, there is no difference in behavior apart from these fringes.
If you rely on static time mode, set it explicitly using
--static-time
.
- If you rely on reproducible contract identifiers, also set
--contract-id-seeding=static
.
If you use a scenario for ledger initialization, migrate to DAML
Script.
If you were parsing ledger offsets, you need to find a way to stop
doing so. This is not guaranteed to be possible on DAML Ledgers other
than the classic Sandbox. If you were relying on doing so, get in
touch with us on community@daml.com. We’d like to help with migration
and want to understand how you were using this so we can better
support your use case.
If you were using ES256 or ES512 signing for authentication, adjust
your command line flags.
If you were running the now classic sandbox with persistence in a SQL
database, you need to recreate contracts in the ledger run with the
new sandbox. There is no automatic data migration available.
To ease transition, you can revert back to the classic Sandbox using
daml sandbox-classic
and daml start --sandbox-classic=yes
. Note that
the classic Sandbox is deprecated and will be removed in a future
release.
Cleanup for DAML SDK 1.0¶
Background¶
As we are moving into the 1.0 release line, we have done some cleanup work, aligning names of artifacts, removing deprecated language versions, streamlining the release process, and finishing a few language tweaks by turning select warnings into errors.
Specific Changes¶
All Java and Scala packages starting with
com.digitalasset.daml
andcom.digitalasset
are now consolidated undercom.daml
.- Impact: Changing the version of some artifacts to 1.0 will cause a resolution error.
- Migration: Changing Maven coordinates and imports using a find and replace should be enough to migrate your code.
Ledger API services are now under the
com.daml
package. A compatibility layer has been added to also expose the services under thecom.digitalasset
package.- Impact: grpcurl does not work with the compatibility layer.
- Migration: Scripts using grpcurl need to change the service
name from
com.digitalasset
tocom.daml
.
< DAML SDK 1.0:
com.digitalasset.ledger.api.v1.TransactionService
≥ DAML SDK 1.0:
com.daml.ledger.api.v1.TransactionService
)The default DAML-LF target version is now 1.8.
- Impact: Projects will not run against old DAML Ledgers that do not support DAML-LF 1.8.
- Migration: You can target 1.7 by specifying
--target=1.7
in thebuild-options
field in yourdaml.yaml
.
All DAML-LF versions <1.6 are deprecated and will not be supported on DAML Ledgers.
- Impact: The new Sandbox will not run DAML code compiled to DAML-LF 1.5 or earlier.
- Migration: Use classic Sandbox to run older DAML models.
We no longer release the SDK to Bintray.
- Impact: If you were relying on artifacts on Bintray, you will not be able to update to version 1.0 without changing the repository.
- Migration: The new locations are as follows:
- SDK Releases and Protobuf files are released to GitHub Releases.
- Java/Scala artifacts are on Maven Central.
- JavaScript artifacts are on NPM.
File names must now match up with module names. This already produced a warning in previous releases
- Impact: Projects in which there are mismatches will no longer build.
- Migration: Change your
.daml
filenames to match module names.
It is now an error to define a record with a single constructor where the constructor does not match the type name. This restriction only applies to single-constructor records. Variants and enums are not affected. This already produced a warning in SDK 0.13.55.
- Impact: Projects with now illegal type declarations will no longer build.
- Migration: In declarations of the type
data X = Y with ..
, you have to change the type name (X
) to match data constructor name (Y
) or vice versa.
The compiler name collision check has been extended to also count the case as a collision where you have a type
B
in moduleA
and a moduleA.B.C
(but no moduleA.B
).- Impact: Projects with such module names will produce warnings and stop compiling in a future release. The JavaScript Code Generator is not usable on packages that don’t uphold this restriction.
- Migration: You have to rename your modules to avoid such name clashes.
Impact and Migration¶
Impacts and migrations are covered item by item in Specific Changes above.
Progress on Features Under Development¶
Background¶
Work is progressing on two features that are currently under active development.
- The DAML REPL, introduced with SDK 0.13.55 is becoming richer in its abilities, getting ever closer in capabilities to DAML Script.
- Work on a Websockets streaming version of the HTTP JSON API’s querying endpoints is progressing. The aim with this streaming service is to combine the ease of consumption of the HTTP JSON API with the liveness provided by a streaming API.
Specific Changes¶
- DAML REPL
- You can now use import declarations at the REPL prompt to bring additional modules into scope.
- You can now use more complex patterns in statements, e.g.,
(x,y) <- pure (1,2)
. - You can now connect to a ledger with authentication using
daml repl --access-token-file=path/to/tokenfile
option.
- Websockets on the HTTP JSON API
- The error format has changed to match the synchronous API:
{"status": <400 \| 401 \| 404 \| 500>, "errors": <JSON array of strings> }
. - The streaming version of the query and fetch-by-key endpoints now emit the last seen ledger offset. These offsets can be fed back to new requests to start the stream at said offset. Such offset messages are also used for heartbeating instead of the previous explicit heartbeat messages.
- The error format has changed to match the synchronous API:
Impact and Migration¶
The only impacts are on consumers of the Websocket streaming APIs. Those consumers will have to make some minor adjustments to include the API changes around error handling and ledger offsets.
Minor Changes and Fixes¶
- Better support for snapshot releases in the DAML Assistant.
daml version
can now list the available snapshot versions by passing the flag--snapshots=yes
.daml install latest
can now include the latest snapshot version by passing the flag--snapshots=yes
.- DAML Script can now be run over the HTTP JSON API, which means it now runs against project:DABL. Take a look at the documentation for instructions and limitations.
- Party strings are now restricted to 255 characters.
- Impact: If you used the Sandbox with very long Party strings they’ll be rejected by the new Sandbox and other DAML Ledgers.
- Migration: Shorten your Party strings. Note that in ledgers other than Sandbox, you may not be able to choose them entirely freely anyway.
- You can now disable starting Navigator as part of
daml start
in yourdaml.yaml
file by addingstart-navigator: false
. - Calls to the
GetParties
API function with an empty list of parties no longer results in an error, but in an empty response.
0.13.55 - 2020-03-18¶
Summary¶
- DAML Script is officially supported
- Action required by April 2020 if you use scenarios for Sandbox initialization
- DAML Repl is available as an experimental feature
- Support for cross-SDK DAR Dependencies and Contract Upgrades
- Action required to mitigate an upcoming restriction to DAML type naming
- Improved daml.yaml features
- More consistent APIs regarding contract visibility
- Potentially breaking change that is unlikely to affect any existing DAML applications
- New command deduplication feature
- Action required by April 2020 if you rely on maximum record time for command deduplication
- Security improvement
- Immediate action required to make SDK components continue to listen on external network interface
What’s New¶
DAML Script - A better way to initialize and test your ledger¶
Background¶
Being able to script the interaction with a DAML ledger is useful for testing, application initialization, and even one-off operations in production use. DAML scenarios cover a subset of those uses: Realtime testing and feedback in the IDE and ledger initialization in the Sandbox in static time mode. The main drawback of scenarios is that outside of the IDE, they only work with the Sandbox in static time mode and only during ledger initialisation. We have, therefore, built DAML Script, which generalizes the concepts behind Scenarios to work for any DAML Ledger, at any time. Going forward, we will deprecate ledger initialization based on Scenarios, and we recommend users to start using DAML Script now.
Specific Changes¶
- DAML Script is no longer experimental
daml.yaml
now supports the specification of an initialization script via the init-script field, which is analogous to the scenario field.- DAML Script now works against ledgers with authentication with tokens passed in via the
--access-token-file
flag - DAML Sandbox now shows a deprecation warning if a scenario is used for initialization
Impact and Migration¶
Scenarios for Sandbox initialization will no longer be supported with the next SDK release in April 2020, but will continue to be supported for DAML model testing in the IDE and command line. If you are using a scenario to initialize the Sandbox today, we recommend migrating that to a DAML script. DAML Script has similar syntax to Scenarios. Take a look at the documentation for instructions on how to migrate from scenarios to DAML script.
Experimental: DAML Repl - Interactive DAML Script¶
Background¶
We are introducing an interactive read-eval-print-loop (REPL) for interacting with a DAML ledger. This feature is analogous to using an interactive shell session to examine and change the data in a relational database. It is based on DAML Script and allows accessing all functions from your DAML code. We encourage you to test this feature and provide feedback. It is still marked as experimental, so we can incorporate your feedback effectively and efficiently.
Specific Changes¶
- Introduction of the
daml repl
cli command
DAML-LF 1.8 brings cross-SDK upgrades and data dependencies¶
Background¶
One of DAML’s unique features is that the clear data ownership based on signatories allows for clean contract upgrades directly from within DAML. So far, this required SDK versions of the original and the new DAML contracts to be equal, a limitation that we obviously wanted to lift. This release lifts this restriction and adds support for contract migrations across SDK versions thanks to adding support for data-dependencies
in daml.yaml
.
dependencies
and data-dependencies
are source and binary dependencies respectively. dependencies should be used to include any libraries (e.g. the DAML Standard Library) that are always deployed together with the project, whereas data-dependencies
should be used for any dependencies that are independently deployable, for example the DAML Finance Library, or applications already running on the target ledger.
Specific Changes¶
daml.yaml
now supports a section fordata-dependencies
in addition to dependencies- The already deprecated
daml migrate
command has been removed - Data constructors for record types have to be the same as the type name.
Impact and Migration¶
To make use of this feature, DAML projects have to be compiled to DAML-LF 1.8. The current default is still 1.7, and so this has to be done by passing in the flag --target=1.8
. Detailed information on the upgrading and dependency functionality can be found in the docs.
Data constructors that don’t match record type names have to be renamed. For example, if you had a record type data Foo = Bar with ..
, you need to change it to data Foo = Foo with ..
.
More functionality in daml.yaml¶
Background¶
The project file daml.yaml
should tell the DAML Assistant CLI everything it needs to know to set up a test environment using daml start. However, until this release, there were certain Sandbox, Navigator, and HTTP JSON API settings that needed to be set through additional command line flags. These can now be set using sandbox-options
, navigator-options
and json-api-options
sections in daml.yaml
.
Specific Changes¶
- Items under the
sandbox-options
,navigator-options
andjson-api-options
sections indaml.yaml
are picked up by daml start and passed to the respective components.
Impact and Migration¶
Command line arguments like daml start --sandbox-option="--wall-clock-time"
will keep working as before, but you can now simplify your CLI usage moving them into daml.yaml
.
Cleanup of some API services and components¶
Background¶
Privacy is one of DAML’s primary concerns, with visibility of data usually constrained to signatories and observers of contracts. However, there are two well-documented and controlled mechanisms through which non-observers can learn about contracts: Divulgence and Witnessing.
Whether events or contracts that are known due to those mechanisms are shown in APIs or tools used to be inconsistent and led to oddities such as the Navigator showing assets that had been transferred. This change addresses these inconsistencies and ensures divulged and witnessed contracts are only included in APIs returning transaction trees.
Specific Changes¶
- The Flat Transaction Service and Active Contract Service no longer include divulged and witnessed contracts
- The JSON API no longer includes divulged and witnessed contracts
- The Extractor no longer stores divulged and witnessed contracts and the column
contract.witness_parties
has been renamed tocontract.stakeholders
Impact and Migration¶
Applications are unlikely to be accidentally relying on the current behaviour so there is probably little to no impact on existing DAML applications. In general, if you want to share data on a DAML ledger, we recommend using the observer mechanism or sharing it in dedicated sharing contracts as highlighted in the Broadcast Example.
New Command Deduplication Mechanism¶
Background¶
For certain applications, it is crucially important that commands will not be processed twice, even if application or ledger components crash or network links fail. The new command deduplication mechanism gives a way to achieve that.
The previous mechanism based on Maximum Record Time (MRT) and Checkpoints on the CompletionStream was difficult to use in practice and didn’t generalise to ledgers without a linearly ordered record time. The new mechanism is designed to replace the old one over the course of the next DAML SDK releases.
Specific Changes¶
- The
Command
andCommandSubmission
services add adeduplication_time
parameter to commands during which no second command with thecommandId
can be submitted.
Minor Improvements¶
- JSON API
- The JSON API has a new
/v1/create-and-exercise
endpoint that allows the submission of commands creating a contract and then immediately exercising a choice on it. - The experimental websocket streaming version no longer sends a
{"live": true}
marker to indicate live data is starting. Instead, live data is indicated by the presence of an offset. - The
/v1/parties
endpoint now allows POST requests, which expect a JSON array of party identifiers as input, and returns the corresponding party details.
- The JSON API has a new
- Language
- The pragma
daml 1.2
is now optional. This is in preparation for DAML SDK 1.0 from which time on the language won’t be versioned independently from the SDK.
- The pragma
- Ledgers
- Rejected submissions are now logged at a lower “INFO” level to remove a source of warnings/errors without relation to server health.
- The Sandbox can now produce random ContractIds consistent with other ledger implementations. This can be activated using the flags
--contract-id-seeding=weak
or--contract-id-seeding=strong
. The weak version uses a less safe, non-blocking random number source.
- Security
- All services now bind to localhost (127.0.0.1) instead to all interfaces (0.0.0.0). This default can be overridden using command line flags:
daml sandbox --address 0.0.0.0
daml navigator 0.0.0.0 6865
daml json-api --address 0.0.0.0
- All services now bind to localhost (127.0.0.1) instead to all interfaces (0.0.0.0). This default can be overridden using command line flags:
What’s Next¶
We are working towards the first stable DAML SDK release in April. The majority of work between now and then amounts to tidying up, cleaning up UX issues, reducing architectural debt, and removing deprecated features.
- The Quickstart / Getting Started documentation will be overhauled
- The Ledger Time model will be upgraded so
ledger_effective_time
no longer needs to be supplied as part of command submission - Record time will no longer be guaranteed to be linearly ordered - Maximum Record Time will be removed from the API - Checkpoints will be removed from the CompletionStream - The DAML Sandbox will have a new architecture much more closely aligned with other DAML Ledgers - Contract Ids will be hashes rather than sequence numbers - The default time mode will switch to wall-clock - Ledger initialization via scenarios will be removed - Ledger Offsets will no longer be sequence numbers, but instead increasing integers
- Maven artifacts will be versioned in line with the SDK
- DAML will get a generic Map type to replace the current TextMap
0.13.54 - 2020-02-20¶
Sandbox¶
- Removed the warnings regarding static time and scenarios on initialization. We will not deprecate these until we have a stable alternative.
- If no ledger ID is provided when running against an existing ledger, use the existing ID. Previously, Sandbox would fail to start.
DAML Standard Library¶
- Add
subtractDays
to the DAML Standard Library.
0.13.53 - 2020-02-19¶
[DAML Stdlib]¶
- Restrict the
(>>)
operator to instances ofAction
and make it lazy in its second argument. This gives expressions of the formdo A; B
the desirable semantics of only runningB
whenA
is a successful action. - Remove the
Action
andActionFail
instances forValidation
inDA.Validation
. Please enable theApplicativeDo
language extension if you want to useValidation
withdo
-notation and replacefail
withDA.Validation.invalid
.
[DAML Ledger Integration Kit]¶
- Enforce that all parties referenced as stakeholders, actors, or maintainers in a transaction have been allocated.
- Ledger API Test Tool default tests modified. Use
--list
for the updated list of default tests. Time service test dropped from the suite.
[Sandbox]¶
- Static time mode is being deprecated in the future. A warning has been added to notify users of this fact.
- Scenarios for ledger initialization are being deprecated in the future, in favor of DAML Script. A warning has been added to notify users of this fact. Scenarios can still be used for testing in DAML studio.
- Participant index contract lookups simplified. This should speed up command interpretation.
- If authentication is enabled, requests without a valid authentication are
going to be rejected with an
UNAUTHENTICATED
return code instead ofPERMISSION_DENIED
.
[JSON API - Experimental]¶
Add
{"live": true}
to WebSocket streams to mark the beginning of “live” data. See issue #4461.This marker is a placeholder feature; issue #4509 bookmarks in query streams will obsolete this marker, after which it will no longer be emitted. When building features on the marker, be aware of this forthcoming replacement.
[DAML Standard Library]¶
- Add a
subtract
function which is useful as a replacement for sections of(-)
, e.g.,subtract 1
is equivalent to\x -> x - 1
.
0.13.52 - 2020-02-12¶
DAML Assistant¶
- The assistant can now do completions for SDK
commands, e.g.,
daml ledger upl<TAB>
will complete todaml 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 - Experimental¶
- Add a
HasTime
instance forScript
which allows you to get the current time (UTC in wallclock mode, UNIX epoch otherwise) - The time mode must now always be
specified explicitly. Use
--static-time
to recover the previous default time mode. - Add a sleep function that pauses the script for the given duration. This is primarily useful in tests where you repeatedly call query until a certain state is reached.
DAML SDK¶
- Fix computation of witnesses of top-level fetch nodes in scenario results (“known to”).
DAML Studio¶
- You can now open DAML Studio in the root of a multi-package project instead of opening it separately for each package. Take a look at the documentation for details on how to set this up.
DAML Triggers - Experimental¶
- The time mode must now always be
specified explicitly. Use
--static-time
to recover the previous default time mode.
JSON API - Experimental¶
wrap Streaming API events in JSON object:
{ "events": [ E1, E2, ... ] }
See issue #4384.The format of
archived
responses from WebSocket endpoints has changed to include template IDs, similar to exercise responses. See issue #4383.Rename JSON API endpoints. See issue #4289 and issue #3145. .. code-block:
/command/create => /v1/create /command/exercise => /v1/exercise /contracts/lookup => /v1/fetch /contracts/search => /v1/query /contracts/searchForever => /v1/stream/query /contracts/lookupForever => /v1/stream/fetch /parties => /v1/parties
Exercise response field “contracts” renamed to “events”. See issue #4385.
Added streaming version of fetch by key:
/stream/fetch
. See issue #4705./contracts/searchForever
accepts multiple queries, and includes with eachcreated
result thematchedQueries
indicating which queries matched. See issue #4363.
Sandbox¶
- Fixed a memory leak when using the ResetService; not everything was cleaned up correctly.
- Preliminary work to rebuild Sandbox on top of the DAML Ledger Integration Kit. Currently not exposed through the CLI.
0.13.51 - 2020-02-05¶
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
processes like
daml sandbox
when stdin is closed. This is mainly useful on Windows, where process APIs often kill the process in a way that does not allow it to do any cleanup, in particular, we cannot stop child processes.
KVUtils¶
- Added a test case to the participant state tests to ensure your ledger state is resumable upon restart.
Sandbox¶
- Fix an error that stops the server from exiting cleanly if API server initialization fails.
DAML Stdlib¶
- Added
partition
function to prelude.
Documentation¶
- Updated roadmap to reflect the current state.
0.13.50 - 2020-01-30¶
DAML Compiler¶
damlc test
now initializes the packagedb automatically which means that it will work on projects that declare customdependencies
indaml.yaml
without having to calldamlc init
first.- Choices marked explicitly as
preconsuming
are now equivalent to anonconsuming
choice that callsarchive self
at the beginning.
DAML Integration Kit¶
- The simplified kvutils API now uses
com.daml.resources
to manage acquiring and releasing resources instead ofCloseable
.
DAML Standard Library¶
- Add
CanAbort
instance forEither Text
.
DAML Studio¶
- Support all
build-options
supported bydaml build
.
Sandbox¶
- On initialization error, report the error correctly and exit with a status code of 1. Previously, the program would hang indefinitely. (This regression was introduced in v0.13.41.)
- Upgrade the Flyway database migrations library from v5 to v6.
DAML Triggers - Experimental¶
- DAML triggers can now be tested in scenarios. Specifically, a trigger’s
rule
can be executed in a scenario and assertions performed on the emitted commands.
0.13.49 - This version was skipped¶
0.13.48 - This version was skipped¶
0.13.47 - This version was skipped¶
0.13.46 - 2020-01-22¶
Sandbox¶
- The sandbox uses a new payload format for authentication tokens (JWTs). The old format is deprecated, but still works.
JSON API¶
- The HTTP JSON API now uses the same payload format for authentication tokens as the sandbox. The old format is deprecated, but still works.
DAML Studio¶
- Scenarios with unserializable result types no longer crash the scenario service.
0.13.45 - 2020-01-22¶
Sandbox¶
- Metrics are now namespaced by
"daml"
and their names have been standardized to snake_case.
DAML-LF¶
- Prohibit contract IDs in contract keys completely. Previously, creating keys containing absolute (but not relative) contract IDs was allowed, but
lookupByKey
on such a key would crash.
DAML Compiler¶
- Added a
--drop-orphan-instances
flag indaml damlc docs
. - The modification times in a DAR are now fixed to a
given value which makes the output of
daml build
deterministic in single-threaded mode (which is the default).
JSON API - Experimental¶
- Support Exercise by Key. See issue #4099.
- Response format in
searchForever
changed to be more likeexercise
. See issue #4072. - In ‘search’ endpoint arguments, %templates is now templateIds. Additionally, all contract query fields must occur under ‘query’. See issue #3450.
Indexer¶
- Potentially fix a bug when recovering from failure.
DAML Standard Library¶
- The
Template
,Choice
, andTemplateKey
typeclasses have been split up into many small typeclasses to improve forward compatibility of DAML models.Template
,Choice
andTemplateKey
constraints can still be used as before.
0.13.44 - 2020-01-17¶
DAML Studio¶
- Fix a bug introduced in 0.13.43 that caused DAML studio to stop responding after code completions were requested.
Ledger API Server¶
- Publish the resource management code as a library
under
com.daml:resources
.
Ledger API Authorization¶
- Support EC256 algorithm for JWT rather than EC512
JSON API Experimental¶
- WebSocket contract search at
/contracts/searchForever
. See issue #3936.
0.13.43 - 2020-01-15¶
DAML Compiler¶
- The
build-options
field fromdaml.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 submitter to be a stakeholder on the referenced contract. See issue #2311 and issue #3543. - Metrics: Update dropwizard to version 4.1.2.
- Authorization: Support elliptic curve algorithm for JWT verification.
Sandbox¶
- Allow
submitMustFail
in scenarios used for sandbox initialization. - Loosen database schema to allow persistence of transaction ledger entries where no submitter info is present (typically when the submitter is hosted by another participant node).
- DAML trace logs (trace, traceRaw, traceId) are now logged via the regular
logging system (slf4j+logback) at interpretation time via the logger
daml.tracelog
at DEBUG level. - Fix bug that can cause the transaction stream to not terminate. See issue #3984.
DAML Triggers - Experimental¶
- You can now configure a heartbeat message to be sent at a regular time interval.
JSON API - Experimental¶
- The
/contracts/search
endpoint reports unresolved template IDs as warnings. See issue #3771. - Use JSON string to encode template IDs. Use colon (
:
) to separate parts of the ID. The request format, with optional package ID: -"<module>:<entity>"
-"<package ID>:<module>:<entity>"
The response always contains fully qualified template ID in the format: -"<package ID>:<module>:<entity>"
See issue #3647. - Align
contract
table withdomain.ActiveContract
class. The database schema has changed, if using--query-store-jdbc-config
, you must rebuild the database by adding,createSchema=true
. See issue #3754. - The
witnessParties
field is removed from all JSON responses.
0.13.42 - 2020-01-08¶
JSON API - Experimental¶
- Rename
argument
in active contract topayload
. 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 key. - Fix
/command/exercise
to support any LF type as a choice argument. See #3390
DAML Compiler¶
- Move more types from daml-stdlib to standalone LF packages. The module names for the types have
also changed slightly. This only matters over the Ledger API when you specify the module name
explicitly. In DAML you should continue to use the existing module names.
- The types from
DA.Semigroup
are now in a separate package underDA.Semigroup.Types
. - The types from
DA.Monoid
are now in a separate package underDA.Monoid.Types
. - The types from
DA.Time
are now in a separate package underDA.Time.Types
. - The types from
DA.Validation
are now in a separate package underDA.Validation.Types
. - The types from
DA.Logic
are now in a separate package underDA.Logic.Types
. - The types from
DA.Date
are now in a separate package underDA.Date.Types
. - The
Down
type fromDA.Internal.Prelude
is now in a separate package underDA.Internal.Down
.
- The types from
DAML SDK¶
daml damlc docs
now accepts a--exclude-instances
option to exclude unwanted instance docs by class name.
DAML-ON-X-SERVER¶
- Made ledger api server to bind to localhost by default instead to the public interface for security reasons.
DAML Assistant¶
- Bash completions for the DAML assistant are now available via
daml install
. These will be installed automatically on Linux and Mac. If you use bash and have bash completions installed, these bash completions let you use the tab key to autocomplete many DAML Assistant commands, such asdaml install
anddaml version
. - Zsh completions for the DAML Assistant are now installed as part of
daml install
. To activate them you need to add~/.daml/zsh
to your$fpath
, e.g., by addingfpath=(~/.daml/zsh $fpath)
to the beginning of your~/.zshrc
before you callcompinit
.
DAML Script - Experimental¶
- Allow running DAML scripts as test-cases. Executing
daml test-script --dar mydar.dar
will execute all definitions matching the typeScript a
as test-cases. See #3687.
Reference v2¶
- On an exception, shut down everything and crash. Previously, the server would stay in a half-running state.
0.13.41 - 2019-12-18¶
DAML Ledger Integration Kit¶
- Move to asyncronous package management service (#3806)
- Fix indexer crash on duplicate submission. See #3847
- Standardize and cleanup metric names to use underscores that are compatible with Prometheus
- Add FailingCommandsIT and CommandSubmissionCompletion to Ledger test tool suite. Some of the tests previously part of the CommandService Ledger API Test Tool suite have been moved to a new home in CommandSubmissionCompletion to reflect the fact that those use the submission/completion workflow instead of leveraging the submit-and-wait alternatives.
JSON API - Experimental¶
- Fix and document
/contracts/lookup
endpoint. See #3755. - Expose exercise result. Changed the output
of the
/command/exercise
. NoteexerciseResult
andcontracts
in{"status":200,"result":{"exerciseResult": ...,"contracts":[...]}
. See #3314.
Sandbox¶
- Restore 0.13.38 logging behaviour.
Extractor¶
- Restore 0.13.38 logging behaviour.
Internals¶
- As of 0.13.39, we merged a number of internal JAR files in
the SDK tarball to reduce its size. These jars used to be standalone
JARs you could invoke as e.g.
java -jar sandbox.jar <args>
. As a result of merging the jars, they lost their individuallogback.xml
configuration file. Although running the jars directly was (and is still) not supported, note that you can now achieve the same behaviour with e.g.java -Dlogback.configurationFile=sandbox-logback.xml -jar daml-sdk.jar sandbox <args>
.
DAML Standard Library¶
- Add
Eq
instances forAnyTemplate
,AnyChoice
andAnyContractKey
.
DAML Compiler¶
- Fix an issue where transitive package dependencies resulted in packages not being found, if the DAR name was changed with -o.
Documentation¶
- Added documentation for authorization claims
0.13.40 - 2019-12-10¶
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.
- AuthService implementations can now restrict the validity of access tokens to a single ledger or participant.
Java Client¶
- Ensure the access token is initialized when using a deprecated constructor.
RxJava Bindings¶
- Added a method to the
Bot
class allowing users to specify aScheduler
to use for running the bot. See issue #2356.
Java Bindings¶
- Removed warnings in code emitted by the Java Codegen.
0.13.39 - 2019-12-05¶
Java Bindings¶
- Added authentication support. See issue #3626.
DAML Compiler¶
- The modules
GHC.Prim
andGHC.Types
fromdaml-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 aLANGUAGE
pragma at the top.
DAML SDK¶
- Reduced the size of the DAML SDK by about 60% uncompressed, 70% compressed, by deduplicating Scala dependencies.
daml damlc docs
now takes into account the project’sbuild-options
fromdaml.yaml
.daml ledger navigator
now loadsfrontend-config.js
properly.
Navigator¶
- Explicit config files passed via
-c
are preferred overdaml.yaml
.
Ledger API Server¶
- Add a health check endpoint conforming to the GRPC Health Checking Protocol.
- Add health checks for index database connectivity.
Participant State API¶
- Add a mandatory
currentHealth()
method toIndexService
,ReadService
andWriteService
.
DAML Triggers - Experimental¶
- DAML triggers can now be run against an authenticated ledger.
DAML Script - Experimental¶
- Add createAndExerciseCmd matching the Ledger API command of the same name.
0.13.38 - 2019-11-29¶
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 of
MetricRegistry
as parameters. This gives implementors of ledger integrations the most flexibility to set up metrics reporting that works best for them. - Add various metrics to track gRPC requests, command submissions, and state update processing. See #3513.
DAML Ledger Integration Kit¶
- Add conformance test coverage for the
grpc.health.v1.Health
service. - Add Ledger API Test Tool –load-scale-factor option that allows dialing up
or down the workload applied by scale tests (such as the
TransactionScaleIT
suite). This allows improving the performance of different ledger over time. - The Ledger API Test Tool no longer shows individual test duration colored based on how long they lasted.
Sandbox¶
- Add support for JWT tokens that only authorize to read data, but not to act on the ledger.
- Add CLI options to start the sandbox with JWT based authentication with RSA signed tokens. See issue #3155 .
- The
--auth-jwt-hs256
CLI option is renamed to--auth-jwt-hs256-unsafe
: you are advised to _not_ use this JWT token signing way in a production environment.
Navigator¶
- Fixed a bug where the
--access-token-file
option did not work correctly.
DAML Compiler¶
- Bugfix: The
Sdk-Version
field in a DAR manifest file now matches the SDK version of the compiler, not thesdk-version
field fromdaml.yaml
. These are usually the same, but they could be different if you set theDAML_SDK_VERSION
environment variable before runningdaml init
ordaml build
. - Make the experimental feature “generic templates” unavailable. The current implementation is at odds with other, more important language features still under development.
DAML Studio¶
- Notify users about new DAML Driven blog posts.
Java Bindings¶
- Deprecated existing constructors for
DamlLedgerClient
, please use the staticnewBuilder
method to instantiate a builder and use it to create the client, starting from either aNettyChannelBuilder
or a plain host/port pair. - Rename
DamlMap
toDamlTextMap
. DamlCollectors
class provides Collectors to build more easilyDamlList
andDamlTextMap
.- Change the recommended method to convert
DamlValue
containers from/to Java Bindings containers. See docs/source/app-dev/bindings-java/codegen.rst for more details the new methodology.
DAML-LF Interface Reader¶
- Rename
PrimTypeMap
toPrimTypeTextMap
andPrimType.Map
toPrimType.TextMap
JSON API - Experimental¶
- Accept a path to a file containing a token at startup for package retrieval. See issue #3627.
DAML Triggers - Experimental¶
- DAML Triggers now allow you to specify which templates you want to listen for. This can improve performance.
DAML Script - Experimental¶
- DAML Script can now run be used in distributed topologies.
- Expose the Ledger API
exerciseByKey
command
0.13.37 - 2019-11-20¶
DAML Stdlib¶
- Added the
NumericScale
typeclass, which improves the type inference for Numeric literals, and helps catch the creation of out-of-bound Numerics earlier in the compilation process. fromAnyChoice
andfromAnyContractKey
now take the template type into account.
Navigator¶
- Fixed a bug where Navigator becomes unresponsive if the ledger does not contain any DAML packages.
Ledger-API¶
- Add field
gen_map
in Protobuf definition for ledger api values. This field is used to support generic maps, an new feature currently in development. See issue https://github.com/digital-asset/daml/issues/2256 for more details about generic maps. The Ledger API will send no messages where this field is set, when using a stable version of DAML-LF. However the addition of this field may cause pattern-matching exhaustive warnings in the code of ledger API clients. Those warnings can be safely ignored until GenMap is made stable in an upcoming version of DAML-LF.
Extractor¶
- The app can now work against a Ledger API server that requires client authentication. See issue #3157.
DAML Compiler¶
- Breaking The default DAML-LF version is now 1.7. You can still
produce DAML-LF 1.6 by passing
--target=1.6
todaml build
. This removes theDecimal
type in favor of aNumeric s
type with a flexible scale.Decimal
is now a synonym forNumeric 10
. If you get errors about ambigous literals, you might need to add a type annotation, e.g., replace1.0
by(1.0 : Decimal)
.
JSON API - Experimental¶
- CLI configuration to enable serving static content as part of the JSON API daemon:
--static-content "directory=/full/path,prefix=static"
This configuration is NOT recommended for production deployment. See issue #2782. - The database schema has changed; if using
--query-store-jdbc-config
, you must rebuild the database by adding,createSchema=true
. See issue #3461. - Terminate process immediately after creating schema. See issue #3386.
DAML Triggers - Experimental¶
emitCommands
now accepts an additional argument that allows you to mark contracts as pending. Those contracts will be automatically filtered from the result ofgetContracts
until we receive the corresponding completion/transaction.
DAML Script - Experimental¶
- This release contains a first version of an experimental DAML script feature that provides a scenario-like API that is run against an actual ledger.
0.13.36 - 2019-11-14¶
Ledger¶
- Fix divulged contract visibility in multi-participant environments. See issue #3351.
- Enable the ability to configure ledger api servers with a time service (for test purposes only).
- Allow a ledger api server to share the DAML engine with the DAML-on-X participant node for performance. See issue #2975.
- Allow non-alphanumeric characters in ledger api server participant ids (space, colon, hash, slash, dot).
- Include SQL statement type in ledger api server logging of SQL errors.
DAML Compiler¶
- Support for incremental builds in
daml build
using the--incremental=yes
flag. This is still experimental and disabled by default but will become enabled by default in the future. On large codebases, this can significantly improve compile times and reduce memory usage. - Support for data dependencies on packages compiled with an older SDK
(experimental). To import data dependencies, list the packages under the
data-dependencies
stanza in the project’s daml.yaml file.
Sandbox¶
- Add the option to start the sandbox with JWT based authentication. See issue #3363.
- Fixed a bug in the SQL backend that caused the database to be flooded with requests when streaming out transactions.
DAML Stdlib¶
maintainer
function that will give you the list of maintainers of a contract key.
DAML Triggers¶
- Added
exerciseByKeyCmd
anddedupExerciseByKey
to exercise a choice given the contract key instead of the contract id. getTemplates
has been renamed togetContracts
to describe its behavior more accurately.getTemplates
still exists as a compatiblity helper but it is deprecated and will be removed in a future SDK release.- Fix a bug where the use of Numeric caused triggers to crash with an assertion error.
JSON API - Experimental¶
- Fix to support Archive choice. See issue #3219
- Implement replay on database consistency violation, See issue #3387.
- Comparison/range queries supported. See issue #2780.
Extractor - Experimental¶
- Fix bug in reading TLS parameters.
0.13.34 - 2019-11-07¶
DAML-LF - Internal¶
- Freeze DAML-LF 1.7. Summary of changes (See DAML-LF specification for more details.):
- Add support for parametrically scaled Numeric type.
- Drop support of Decimal in favor or Numerics.
- Add interning of strings and names. This reduces drastically dar file size.
- Add support for ‘Any’ type.
- Add support for type representation values.
- Add immutable bintray/maven packages for handling DAML-LF archive up to version 1.7:
com.daml-lf-1.7-archive-proto
This package contains the archive protobuf definitions as they were introduced when 1.7 was frozen. These definitions can be used to read DAML-LF archives up to version 1.7.
DAML Triggers¶
- Triggers must now be compiled with
daml build --target 1.7
instead of1.dev
.
0.13.33 - 2019-11-06¶
Navigator¶
- Fixed regression in Navigator to properly respect the CLI option
--ledger-api-inbound-message-size-max
again. See issue #3301.
DAML Compiler¶
- Reduce the memory footprint of the IDE and the command line tools (ca. 18% in our experiments).
- Fix compile error caused by instantiating generic templates at
Numeric n
. - The compiler now accepts single-constructor enum types. For example
data A = A
ordata Foo = Bar
.
DAML Triggers¶
- Add
dedupCreate
anddedupExercise
helpers that will only send commands if they are not already in flight. - Remove the custom
AbsoluteContractId
type in favor of the regularContractId
type used in DAML templates.
Sandbox¶
- Fixed a bug a database migration script for Sandbox on Postgres introduced in SDK 0.13.32. See issue #3284.
- Timing about database operations are now exposed over JMX as well as via the logs.
- Added a missing index to the SQL schema for the Postgres Ledger.
DAML Integration Kit¶
- Re-add integration kit documentation that got accidentally deleted.
Ledger API¶
- Disallow empty commands. See issue #592.
DAML Stdlib¶
- Add DA.TextMap.filter and DA.Next.Map.filter.
- Add assertEq and assertNotEq to DA.Assert as synonyms for === and =/=.
- Add
DA.Foldable.mapA_
,DA.Foldable.forA_
,DA.Foldable.sequence_
andDA.Action.replicateA_
. These functions match the behavior of corresponding functions without the underscore suffix but ignore the result which can be more convenient and efficient.
Extractor - Experimental¶
- Extractor now stores exercise events in the single table data format. See issue #3274.
JSON API - Experimental¶
workflowId
no longer included in any responses./contracts/search
endpoint can optionally store searched contracts in a Postgres-based cache, by passing the new--query-store-jdbc-config
option. See issue #2781.
DAML SDK¶
- Display release notes in the IDE when the DAML extension is upgraded.
0.13.32 - 2019-10-29¶
DAML Triggers¶
- The trigger runner now supports triggers using the high-level API directly. These no longer need to be converted to low-level Triggers using
runTrigger
. Triggers using the low-level API are still supported. - The trigger runner has a new command that just lists the triggers in
a dar using
daml trigger list --dar path/to/dar
.
DAML Compiler¶
- The package database is now be cleaned automatically on initialization.
This means that you should no longer have to run
daml clean
on SDK upgrades if you use DAR dependencies (e.g. with DAML triggers).
Sandbox¶
- Improve performance of looking up contracts from postgres. See issue #2330.
0.13.31 - 2019-10-18¶
Sandbox¶
- Party management fix, see issue #3177.
- The maximum allowed TTL for commands is now configurable via the
--max-ttl-seconds
parameter, for example:daml sandbox --max-ttl-seconds 300
. - Fixed a bug where
CreatedEvent#event_id
field is not properly filled byActiveContractsService
. See issue #65.
DAML SDK¶
- Shrink docker image containing the full DAML SDK from 2.8 GB to 1.2 GB.
Navigator¶
- Accept and use an access token to be used against Ledger API servers that require authentication, see issue #3156.
- Demo-oriented password workflow has been removed.
Ledger Client¶
- Expose new method to construct channels for more granular control over the client creation process.
JSON API - Experimental¶
- Add
/parties
endpoint.
DAML Triggers - Experimental¶
- The trigger runner now logs output from
trace
,error
and failed command completions and hides internal debugging output.
DAML-LF - Internal¶
- Changed the name of the bintray/maven package from
com.daml-lf-archive-scala
tocom.daml.daml-lf-archive-reader
0.13.30 - 2019-10-15¶
DAML Standard Library¶
- Add
DA.Action.State
module containing aState
action that can be used for computations that modify a state variable. - Add
createAndExercise
.
DAML Compiler¶
- Fixed the location of interface files when the
source
field indaml.yaml
points to a file. This is mainly important for when you want to use the created.dar
in thedependencies
field of another package. See issue #3135.
DAML-LF¶
Breaking Rename DAML-LF Archive protobuf package from com.daml_lf to com.daml.daml_lf_dev. This will only affect you do not use the DAML-LF Archive reader provided with the SDK but a custom one based on code generation by protoc.
- Breaking Some bintray/maven packages are renamed:
- com.daml-lf-proto becomes com.daml-lf-dev-archive-proto
- com.daml-lf-archive becomes com.daml:daml-lf-dev-archive-java-proto`
- Add immutable bintray/maven packages for handling DAML-LF archive up to version 1.6 in a stable way:
com.daml-lf-1.6-archive-proto
This package contains the archive protobuf definitions as they were introduced when 1.6 was frozen. These definitions can be used to read DAML-LF archives up to version 1.6.
The main advantage of this package over the dev version (com.daml-lf-dev-archive-proto) is that it is immutable (it is guaranteed to never changed once introduced in the SDK). In other words one can used it without suffering frequent breaking changes introduced in the dev version.
Going forward the SKD will contain a similar immutable package containning the proto definition for at least each DAML-LF version the compiler supports.
We strongly advise anyone reading DAML-LF Archive directly to use this package (or the com.daml:daml-lf-1.6-archive-java-proto package described below). Breaking changes to the dev version may be introduced frequently and without further notice in the release notes.
com.daml:daml-lf-1.6-archive-java-proto
This package contains the java classes generated from the package com.daml-lf-1.6-archive-proto
DAML Triggers¶
- This release contains a first version of an experimental DAML triggers feature that allows you to implement off-ledger automation in DAML.
DAML-SDK Docker Image¶
- The image now contains a
daml
user and the SDK is installed to/home/daml/.daml
./home/daml/.daml/bin
is automatically added toPATH
.
JSON API - Experimental¶
- Support for automatic package reload See issue #2906.
Java Bindings¶
- Add helper to prepare transformer for
Bot.wire
. See issue #3097.
Ledger¶
- The ledger api index server starts only after the indexer has finished initializing the database.
Sandbox¶
- Filter contracts or contracts keys in the database query for parties that cannot see them.
Scala Bindings¶
- Fixed a bug in the retry logic of
LedgerClientBinding#retryingConfirmedCommands
. Commands are now only retried when the server responds with statusRESOURCE_EXHAUSTED
orUNAVAILABLE
.
Scala Codegen¶
- Fixes for StackOverflowErrors in reading large LF archives. See issue #3104.
SQL Extractor¶
- The format used for storing Optional and Map values found in contracts as JSON has been replaced with DAML-LF JSON Encoding. See issue #3066 for specifics.
0.13.29 - 2019-10-04¶
- Rerelease of 0.13.28 since that failed due to CI issues.
0.13.28 - 2019-10-04¶
JSON API - Experimental¶
- Returning archived and active/created contracts from
/command/exercise
endpoint. See issue #2925. - Flattening the output of the
/contracts/search
endpoint. The endpoint returnsActiveContract
objects withoutGetActiveContractsResponse
wrappers. See issue #2987.
SDK¶
- Bundle the
daml-trigger
package. Note, this package is experimental and will change. - Releases can now bundle additional libraries with the SDK in
$DAML_SDK/daml-libs
. You can refer to them in yourdaml.yaml
file by listing the package name without.dar
extension. See issue #2979.
DAML Studio¶
damlc ide
now also supports a--target
option. The easiest way to specify this is thebuild-options
field indaml.yaml
.- Fix a bug where the same module was imported twice under different file paths caused module name collisions. See issue #3099.
Ledger¶
- Improve SQL backend performance by eliminating extra queries to the database.
- Enhance logging to correlate log messages with the associated participant id in multi-participant node tests and environments
- Ledger api server indexer closes akka system on shutdown.
- The ledger api server now stores divulged, otherwise unknown contracts.
DAML Visualization¶
- Adding daml damlc visual-web command. visual-command generates webpage with d3 network.
DAML Ledger Integration Kit¶
- The transaction service is now fully tested.
- The TTL for commands is now read from the configuration service.
- The contract key tests now live under a single test suite and are multi-node aware.
DAML Compiler¶
- Fix a problem where constraints of the form
Template (Foo t)
caused the compiler to suggest enabling theUndecidableInstances
language extension. - Generic template instantiations like
template instance IouProposal = Proposal Iou
now generate a type synonymtype IouProposal = Proposal Iou
that can be used in DAML. Before, they generated anewtype
, which cannot be used anymore. - Fixed a bug where
damlc build
sometimes did not find modules during typechecking even if they were present during parallel compilations.
Security¶
- Document how to verify the signature on release tarballs.
0.13.27 - 2019-09-25¶
DAML Assistant¶
daml start
now supports--sandbox-option=opt
,--navigator-option=opt
and--json-api-option=opt
to pass additional option to sandbox/navigator/json-api. These flags can be specified multiple times.
DAML Compiler¶
- Fix a bug where generic templates could crash the compiler.
Security¶
- Fix signing process.
0.13.26 - 2019-09-24¶
JSON API¶
/contracts/search
now supports a query language for filtering the contracts returned by matching fields. See issue 2778.
DAML Compiler¶
- Fix a bug where
.dar
files produced bydaml build
were missing all.daml
files except for the one thatsource
pointed to. - Fix a bug where importing the same module from different directories
resulted in an error in
daml build
. damlc migrate
now produces a project that can be built withdaml build
as opposed to having to use the specialbuild.sh
andbuild.cmd
scripts.
DAML Integration Toolkit¶
- 30 more test cases have been added to the transaction service test suite.
Security¶
- Starting with this one, releases are now signed on GitHub.
0.13.25 - 2019-09-18¶
Documentation¶
- Suppress instance documentation when –data-only mode is requested.
DAML-LF¶
- Add CAST_NUMERIC and SHIFT_NUMERIC in DAML-LF 1.dev.
- Change signature of MUL_NUMERIC and DIV_NUMERIC.
DAML Integration Kit¶
- Fix contract key uniqueness check in kvutils.
- Preload packages in a background thread in kvutils.
Ledger¶
- ActiveContractsService now specifies to always return at least one message with the offset. This removes a special case where clients would need to check if the stream was empty or not.
- Dramatically increased performance of the ActiveContractService by only loading the contracts that the parties in the transaction filter are allowed to see.
0.13.24 - 2019-09-16¶
Java codegen¶
- If the DAR source cannot be read, the application crashes and prints an error report.
DAML Assistant¶
- Java and Scala codegen is now integrated with the
assistant and distributed with the SDK. It can be run via
daml codegen
. You can find more information in the DAML Assistant documentation.
DAML Compiler¶
- Fix bug with qualified imports of generic templates.
Ledger¶
- Upgraded ledger-api server H2 Database version to 1.4.199 with stability fixes including one to the
merge
statement.
DAML Integration Kit¶
- One more test case added. Transaction service tests are not multi-node aware.
- Semantic tests now ensure synchronization across participants when running in a multi-node setup.
0.13.23 - 2019-09-11¶
DAML Integration Kit¶
- The reference implementation can now spin up multiple nodes, either scaling
a single participant horizontally or adding new participants. Check the CLI
--help
option. - The test tool now runs the double spend test on a shared contract in a multi-node setup (as well as single-node).
- The test tool can now run all semantic test in a multi-node setup.
DAML Standard Library¶
- BREAKING CHANGE The
(/)
operator was moved out of theFractional
typeclass into a separateDivisible
typeclass, which is now the parent class ofFractional
. TheInt
instance ofFractional
is discontinued, but there is anInt
instance ofDivisible
. This change will break projects that rely on theFractional Int
instance. To fix that, change the code to rely onDivisible Int
instead. This change will also break projects where aFractional
instance is defined. To fix that, add aDivisible
instance and move the definition of(/)
there.
DAML Assistant¶
- The HTTP JSON API is now integrated with the
assistant and distributed with the SDK. It can either be launched
via
daml json-api
or viadaml start
. You can find more information in the README. - The daml.yaml file now supports an additional field build-options, which you can use to list cli options you want added to invocations of daml build and daml ide.
JSON API¶
- BREAKING CHANGE The
/contracts/search
request payload must use"%templates"
in place of"templateIds"
to select which templates’ contracts are returned. See issue #2777.
DAML Compiler¶
- BREAKING CHANGE Move the DAML-LF produced by generic template instantiations closer to the surface syntax. See the documentation on How DAML types are translated to DAML-LF for details.
0.13.22 - 2019-09-04¶
DAML Assistant¶
- BREAKING CHANGE Changed the meaning of the
source
field in the daml.yaml file to be a pointer to the source directory of the DAML code contained in a project relative to the project root. This is breaking projects, where thesource
field of the project is pointing to a non-toplevel location in the source code directory structure.
DAML Integration Kit¶
- Introduced initial support for multi-node testing. Note that for the time being no test actually uses more than one node.
- BREAKING CHANGE The
-p
/--target-port
and-h
/--host
flags have been discontinued. Pass one (or more) endpoints to test as command line arguments in the<host>:<port>
form.
Documentation¶
- Basic explanation of generic templates.
Ledger API¶
- BREAKING CHANGE In Protobuf
Value
message, renamedecimal` field to ``numeric
.
Sandbox¶
- Updated the PostgreSQL JDBC driver to version 42.2.6.
- Added TRACE level debugging for database operations.
- Fixed a bug that could lead to an inconsistent snapshot of active contracts being served by the ActiveContractsService under high load.
- Commands are now deduplicated based on
(submitter, application_id, command_id)
.
0.13.21 - 2019-08-29¶
DAML Compiler¶
- Enable the language extension
FlexibleContexts
by default. - BREAKING CHANGE Enable the language extension
MonoLocalBinds
by default.let
andwhere
bindings introducing polymorphic functions that are used at different types now need an explicit type annotation. Without the type annotation the type of the first use site will be inferred and use sites at different types will fail with a type mismatch error.
Java Codegen¶
- Fix bug that caused the generation of duplicate methods that affected sources with data constructors with type parameters that are either non-unique or not presented in the same order as in the corresponding data type declaration. See #2367.
Ledger¶
- H2 Database support in the Ledger API Server.
Sandbox¶
- The sandbox now properly sets the connection pool properties
minimumIdle
,maximumPoolSize
, andconnectionTimeout
.
0.13.20 - 2019-08-22¶
Documentation¶
- Added platform-independent tips for testing
DAML Compiler¶
- Some issues that caused
damlc test
to crash on shutdown have been fixed. - The DAML compiler was accidentally compiled without
optimizations on Windows. This has been fixed which should improve
the performance of
damlc
anddaml studio
on Windows. damlc build
should no longer leak file handles soulimit
workarounds should no longer be necessary.- Allow more contexts in generic templates. Specifically, template constraints can have arguments besides type variables, if the FlexibleContexts extension is enabled.
DAML-LF¶
- Breaking Rename
NUMERIC
back toDECIMAL
in Protobuf definition.
DAML Studio¶
damlc ide
now also accepts--ghc-option
arguments likedamlc build
sodamlc ide --ghc-option -W
launches the IDE with more warnings.- The VSCode extension now has a configuration field for
passing extra arguments to
damlc ide
.
DAML Integration Kit¶
- Participant State API and kvutils was extended with support for
changing the ledger configuration. See changelog in respective
package.scala
files.
DAML Standard Library¶
- Add
stripInfix
function toDA.List
.
0.13.19 - 2019-08-14¶
Sandbox¶
- Fixed a bug that prevented the ledger from loading transactions with empty workflow ids.
- Fixed internal shutdown order to avoid dead letter warnings when stopping Sandbox/Ledger API Server. See issue #1886.
DAML Studio¶
- Added a new command for visualizing a project in the IDE.
- Print stack trace when a scenario fails.
- Various memory leaks have been fixed so long-running sessions should no longer show a significant increase in memory usage.
DAML Compiler¶
- The
--project-root
option now works properly with relative paths indaml build
. - Support generic template declarations and instances. Documentation for generic templates is still being worked on.
- The
--dump-pom
flag fromdamlc package
has been removed as packaging has not relied on POM files for a while.
0.13.18 - 2019-08-07¶
- Fix a bug where
daml studio
did not launch VSCode on Windows.
0.13.17 - 2019-08-07¶
DAML Docs¶
- For
damlc docs
, the--template
argument now takes the path to a Mustache template when generating Markdown, Rst, and HTML output. The template can usetitle
andbody
variables to control the appearance of the docs.
DAML Assistant¶
- Spaces in user names or other parts of file names should now be handled correctly.
- The
daml deploy
anddaml ledger
experimental commands were added. Usedaml deploy --help
anddaml ledger --help
to find out more about them.
0.13.16 - 2019-08-01¶
DAML Compiler¶
- BREAKING CHANGE Handwritten instances of
Template
andChoice
typeclasses are no longer supported. All template constructs must be defined using declarations insidetemplate
syntax.
DAML Docs¶
- The
damlc docs
command now produces docs to a folder by default. Use the new--combine
flag to output a single file instead. - The
damlc docs
flag--prefix
has been replaced with a--template
flag which allows for a more flexible template. - The
damlc docs
flag--json
has been dropped in favor of--format=json
.
Extractor¶
- BREAKING CHANGE Changed schema to accomodate removed field
ExercisedEvent#contract_creating_event_id
. Existing database schemas are not compatible anymore with the newer version. The extractor needs to be run on an empty schema from Ledger Begin.
Java Bindings¶
Sandbox¶
- The active contract service correctly serves stakeholders. See #2070.
- Added the
--maxInboundMessageSize
CLI parameter to set the maximum size of messages received through the Ledger API. If the value is not set the current default is preserved (4 MB). - Makes package uploads idempotent and tolerate partial duplicates. See #2130.
0.13.15 - 2019-07-25¶
DAML Studio¶
- Scenario links no longer disappear if the current file does not compile. The location is adjusted but this is done one a best effort basis and can fail if the scenario itself is modified.
DAML Compiler¶
- Support reading of DAML-LF 1.5 again.
DAML-LF¶
- Breaking Rename
DECIMAL
byNUMERIC
in archive Protobuf definition.
Ledger API¶
- BREAKING: Drop support for legacy identifier. The
previously deprecated field
name
inIdentifier
message is not supported anymore. Usemodule_name
andentity_name
instead.
Documentation¶
- Improved the Maven pom.xml file for
quickstart-java
to better integrate with VS Code. See #887.
Releases¶
- Releases should now be announced on the releases blog.
0.13.14 - 2019-07-22¶
DAML Compiler¶
- Support reading of DAML-LF 1.5 again.
DAML Studio¶
VSCode scenario view improvements. Add a note in the IDE if:
- there is an open scenario view for a scenario that does no longer exist,
- there is an open scenario view for a scenario in a file that does no longer compile.
0.13.13 - 2019-07-16¶
DAML Assistant¶
- Fix VSCode path for use if not already in PATH on mac
- BREAKING: remove –replace=newer option.
DAML Studio¶
- Fix a bug where the extension seemed to disappear every other time VS Code was opened.
- DAML Studio now displays a “Processing” indicator on the bottom left while the IDE is doing work in the background.
Sandbox¶
DAML-LF¶
- Release version 1.6. This versions provides:
enum
types. See issue #105 and DAML-LF 1 specification for more details.- new builtins for (un)packing strings. See issue #16.
- intern package IDs. See issue #1614.
DAML Compiler¶
Add support for DAML-LF
1.6
. In particular:BREAKING CHANGE Add support for
enum
types. DAML variant types that look like enumerations (i.e., those variants without type parameters and without arguments) are compiled to the new DAML-LFenum
type when DAML-LF 1.6 target is selected. For instance the daml type declaration of the form:data Color = Red | Green | Blue
will produce a DAML-LF
enum
type instead of DAML-LFvariant
type. This change is breaking, since this release makes DAML-LF1.6
the default compiler output.Add
DA.Text.toCodePoints
andDA.Text.fromCodePoints
primitives to (un)pack strings.Add support for DAML-LF intern package IDs.
BREAKING CHANGE Make DAML-LF 1.6 the default output. This change activates the support of
enum
type describes above.BREAKING CHANGE Drop support for DAML-LF 1.5. Compiling to DAML-LF 1.6 requires some changes regarding enum types to applications using the Ledger API, see above. (The ledger server still supports DAML-LF 1.5.)
Ledger API¶
- Add support for
enum
types. Simple DAMLvariant
types will be mapped to DAML-LFenum
types when using a DAML-LF1.6
archive. Ledger API Value Protobuf provides the newEnum
message. This message must be used to communicate this new data type throught the API.
Java Codegen¶
- Add support for
enum
types.enum
types are mapped to standard java enum. See Generate Java code from DAML for more details.
Scala Codegen¶
- Add support for
enum
types.
Navigator¶
- Add support for
enum
types.
Extractor¶
- Add support for
enum
types.
DAML Docs¶
- Added links to type signatures in generated docs. Check out the updated standard library docs.
0.13.12 - 2019-07-09¶
DAML Assistant¶
- Fix VSCode path for use if not already in PATH on mac.
- Kill child processes on
SIGTERM
. This means that killingdaml sandbox
will also kill the sandbox process.
DAML Docs¶
- BREAKING CHANGE
damlc docs
now typechecks the source files before doc generation, to be able to use type information during doc generation. This may break existing doc builds. - Added
--package-name
and--input-format
flags todamlc docs
.
0.13.11 - 2019-07-08¶
Sandbox¶
- The completion stream method of the command completion service uses the ledger end as a default value for the offset. See #1913.
- Fixed an issue when CompletionService returns offsets having inclusive semantics when used for re-subscription. See #1932.
- DAML-LF packages used by the sandbox are now stored in Postgres, allowing users to resume a Postgres sandbox ledger without having to again specify all packages through the CLI. See #1929.
Java Bindings¶
- Added overloads to the Java bindings
CompletionStreamRequest
constructor and theCommandCompletionClient
to accept a request without an explicit ledger offset. See #1913. - DEPRECATION: the
CompletionStreamRequest#getOffset
method is deprecated in favor of the non-nullableCompletionStreamRequest#getLedgerOffset
. See #1913.
DAML Standard Library¶
- BREAKING CHANGE: Remove the deprecated modules
DA.Map
,DA.Set
,DA.Experimental.Map
andDA.Experimental.Set
. Please useDA.Next.Map
andDA.Next.Set
instead. - Add
Sum
andProduct
newtypes that provideMonoid
instances based on theAdditive
andMultiplicative
instances of the underlying type. - Add
Min
andMax
newtypes that provideSemigroup
instances basedmin
andmax
.
DAML Compiler¶
- The default output path for all artifacts is now in the
.daml
directory. In particular, the default output path for .dar files indaml build
is now.daml/dist/<projectname>.dar
.
DAML Studio¶
- DAML Studio is now published as an extension in the Visual Studio Code
marketplace. The
daml studio
command will now install the published extension by default, but will revert to the extension bundled with the DAML SDK if installation fails. You can get the old default behavior of always using the bundled extension by runningdaml studio --replace=newer
ordaml studio --replace=always
instead. - You can now configure the gRPC message size limit in
daml.yaml
viascenario-service: {"grpc-max-message-size": 1000000}
. This will set the limit to 1000000 bytes. This should only be necessary for very large projects. - You can now configure the gRPC timeout
daml.yaml
viascenario-service: {"grpc-timeout": 42}
. This option will set the timeout to 42 seconds. You should only need to set this option for very large projects.
DAML Integration Kit¶
- Make DivulgenceIT properly work when run via the Ledger API Test Tool.
- The submission service shuts down its ExecutorService upon exit to ensure a smooth shutdown.
DAML-LF¶
- The DAML-LF development version (
1.dev
) includes a new, breaking restriction regarding contract key lookups. In short, when looking up or fetching a key, the transaction submitter must be one of the key maintainers. Note that this change is not breaking since the compiler does not produce DAML-LF1.dev
by default. However it will be a breaking change once this restriction makes it into DAML-LF1.6
and once DAML-LF1.6
becomes the default.
0.13.10 - 2019-06-28¶
Sandbox¶
- Added –log-level command line flag.
- BREAKING CHANGE: The Sandbox no longer supports loading from DALF files. You can now only use DAR files. See #1610.
Ledger API¶
- Added new CLI flags
--stable-party-identifiers
and--stable-command-identifiers
to the Ledger API Test Tool to allow disabling randomization of party and command identifiers. It is useful for testing of ledgers which are configured with a predefined static set of parties.
0.13.9 - 2019-06-28¶
DAML Studio¶
- Fix an error in the
package.json
that stopped the extension from being loaded.
0.13.8 - 2019-06-27¶
Java Codegen¶
- Generated code supports signatories and observers as exposed by the bindings. See #1269.
Ledger API¶
DAML Compiler¶
- BREAKING CHANGE: Drop support for DAML-LF 1.4. Compiling to DAML-LF 1.5 should work without any code changes, although we highly recommend not specifying a target DAML-LF version at all. (The ledger server still supports DAML-LF 1.4.)
0.13.7 - 2019-06-26¶
DAML-LF¶
- Rename
none
andsome
tooptional_none
andoptional_some
, resp., inExpr
andCasePat
.
0.13.6 - 2019-06-25¶
DAML Assistant¶
- Added
--install-assistant
flag todaml install
command, changing the default behavior ofdaml install
to install the assistant whenever we are installing a newer version of the SDK. Deprecated the--activate
flag. - Added
--start-navigator
,--on-start
, and--wait-for-signal
options todaml start
, to make scripting and testing with the sandbox much easier.
DAML Studio¶
- Opening an already open scenario will now focus it rather than opening it in a new empty tab which is never updated with results.
- The selected view for scenario results (table or transaction) is now preserved when the scenario results are updated. See #1675.
- Goto definition now works on the export list of modules.
- Goto definition now works on types.
DAML-LF¶
- Rename
TO_TEXT_CODE_POINTS
andFROM_TEXT_CODE_POINTS
toTEXT_FROM_CODE_POINTS
andTEXT_TO_CODE_POINTS
, resp.
Dependencies¶
- Protobuf has been upgraded to version 3.8.0. This also includes the protobuf-java library used as a dependency.
Ledger API¶
- Added additional Ledger API integration tests to Ledger API Test Tool.
Java Bindings¶
- The artefact
com.daml.ledger:bindings-java
now hasgrpc-netty
as dependency so that users don’t need to explicitly add it.
DAML Integration Kit¶
- Fixed a bug in the test tool that prevented users from running the tests. See #1841
Navigator¶
- Added support for SDK project configuration files. If you start Navigator with the SDK Assistant,
Navigator will directly read the
daml.yaml
config file instead of the old Navigator config file. See #1128.
Docker Image¶
- The daml-sdk docker images are now based on Alpine Linux.
0.13.5 - 2019-06-19¶
Release Procedure¶
- Fixes to the CI/CD release procedure. See #1755 <https://github.com/digital-asset/daml/issues/1755>__.
0.13.4 - 2019-06-19¶
Ledger API¶
- A new command
ExerciseByKey
allows to exercise choices on active contracts referring to them by their key. See #1366.
Java Bindings¶
- The addition of the
ExerciseByKey
to the Ledger API is reflected in the bindings. See #1366.
0.13.3 - 2019-06-18¶
Java Bindings¶
- The changes for Java Bindings listed for SDK 0.13.2 now only apply to SDK 0.13.3 and later. This is due to the partial failure of the release procedure.
Docs¶
- Added An introduction to DAML
DAML Studio¶
- The IDE now executes tasks in parallel.
0.13.1 - 2019-06-17¶
Language¶
- Add an instance for
IsParties (Optional Party)
, allowingOptional
values to be used insignatory
,observer
andmaintainer
clauses.
Java Bindings¶
- Release the Java Bindings to the public Maven Central repository. To move to using the Maven Central repository, remove
the
<repository>...</repository>
and<pluginRepository>...</pluginRepository>
blocks from Maven POM files that use version 0.13.1 (or later) of the Java Bindings. See #1205.
0.13.0 - 2019-06-17¶
SDK¶
- This marks the first release that is no longer released for the
da
assistant. It is still possible to use it to get older SDK releases. Take a look at documentation for the newdaml
assistant for migration instructions.
Sandbox¶
DAML Studio¶
- Double the gRPC message limit used for the scenario service. This avoids issues on large projects.
Ledger API¶
- Slash (/) is now an allowed character in contract, workflow, application and command identifiers.
0.12.25 — 2019-06-13¶
DAML Integration Kit¶
- Added new CLI flag
--all-tests
to the Ledger API Test Tool to run all default and optional tests. - Added new CLI flag
--command-submission-ttl-scale-factor
to the Ledger API Test Tool. It scales time-to-live of commands sent for ledger processing (captured as Maximum Record Time in submitted transactions) for some suites. Useful to tune Maximum Record Time depending on the environment and the Ledger implementation under test. - Fixed various bugs in the daml-on-x ledger api server and index service.
Scala bindings¶
- New –root command-line option for limiting what templates are selected for codegen. See #1210.
Ledger API¶
- Contract keys are now available for created events from the transaction service. See #1268.
0.12.24 - 2019-06-06¶
DAML Studio¶
- Fix errors due to unhandled
$/cancelRequest
andtextDocument/willSave
requests from showing up in the output tab in VSCode. These errors also caused an automatic switch from the problems tab to the output tab which should now no longer happen. - Note that upgrading the VSCode extension requires launching it via
daml studio
. If you launch VSCode directly, you might get issues due to an outdated extension.
0.12.23 - 2019-06-05¶
SQL Extractor¶
DAML Language¶
- BREAKING CHANGE: Contract key maintainers must now explicitly be computed from the contract key using the implicit
key
variable. For instance, if you havekey (bank, accountId) : (Party, Text)
and wantbank
to be the maintainer, you have to writemaintainer key._1
(before, you could writemaintainer bank
).
DAML Compiler¶
- BREAKING CHANGE: Drop support for DAML-LF 1.3. Compiling to DAML-LF 1.4 should work without any code changes, although we highly recommend not specifying a target DAML-LF version at all. (The ledger server still supports DAML-LF 1.3.)
- Fix initialization of package-db for non-default DAML-LF versions. This fixes issues when using “daml build –target 1.3” (or other target versions).
DAML Standard Library¶
- Add
enumerate
function.
Navigator¶
- Fixed a regression where Navigator console was not able to inspect contracts and events. See #1454.
- 50MiB is no longer hard-coded on extractor input for sandbox or any other server,
permitting large packages; e.g. pass
--ledger-api-inbound-message-size-max 62914560
to extractor to get a 60MiB limit. See #1520.
DAML Integration Kit¶
- The Ledger API Test Tool can now optionally run
TransactionServiceIT
as part of the conformance tests. This means you need to load additional.dar
files into the ledger under test. Please refer to the updated instructions in the documentation. - Added new CLI options to the Ledger API Test Tool:
--list
prints all available tests to the console--include
takes a comma-separated list of test names that should be run--exclude
takes a comma-separated list of test names that should not be run
0.12.22 - 2019-05-29¶
DAML Studio¶
- Fixed a bug where type check errors would persist if there was a subsequent parse error.
DAML Compiler¶
- BREAKING CHANGE: Drop support for DAML-LF 1.2. Compiling to DAML-LF 1.3 should work without any code changes, although we highly recommend not specifying a target DAML-LF version at all.
- BREAKING CHANGE: By default
damlc test
must be executed in a project and will test the whole project. Testing individual files, potentially outside a project, requires passing the new--files
flag.
DAML-LF¶
- The Syntax of party literals is relaxed by allowing the character colon. Concretely those literals must match the
regular expression
[a-zA-Z0-9:\-_ ]+
instead of[a-zA-Z0-9\-_ ]+
previously. See #1467.
SQL Extractor¶
- The extractor
--party
option may now specify multiple parties, separated by commas; e.g. instead of--party Bob
you can say--party Bob,Bar,Baz
and get the contracts for all three parties in the database. See #1360. - The extractor
--templates
option to specify template IDs in the format:<module1>:<entity1>,<module2>:<entity2>
. If not provided, extractor subscribes to all available templates. See #1352.
Sandbox¶
- Fixed a bug in the SQL backend that caused transactions with a fetch node referencing a contract created in the same transaction to be rejected. See issue #1435.
0.12.21 - 2019-05-28¶
DAML Assistant¶
- The
exposed-modules
field indaml.yaml
is now optional. If it is not specified, all modules in the project are exposed. See #1328. - You can now see all available versions with
daml version
using the--all
flag.
DAML Compiler¶
- BREAKING CHANGE: Drop support for DAML-LF 1.1. Compiling to DAML-LF 1.2 should work without any code changes, although we highly recommend not specifying a target DAML-LF version at all.
- Make DAML-LF 1.5 the default version produced by the compiler.
DAML Standard Library¶
parseInt
andparseDecimal
now work at more extremes of values and accept leading plus signs.
DAML-LF¶
- Add new version 1.5. See DAML-LF 1 specification for details.
0.12.20 - 2019-05-23¶
Sandbox¶
- Contract keys: Support arbitrary key expressions (this was accidentally omitted from 0.12.19).
0.12.19 - 2019-05-22¶
Ledger¶
Transaction filters in GetTransactionsRequest without any party are now rejected with INVALID_ARGUMENT instead of yielding an empty stream
See #1250 for details.
DAML¶
- Contract keys: The syntactic restriction on contract keys has been removed. They can be arbitray expressions now.
DAML-LF¶
- Add new version 1.4 and make it the default version produced by
damlc
. It removes the syntactic restriction on contract keys.
Java Bindings¶
- Bots: A class called LedgerTestView was added to make bot unit testing possible
DAML¶
- BREAKING CHANGE - Syntax: Records with empty update blocks, e.g.
foo with
, is now an error (the fact it was ever accepted was a bug). - BREAKING CHANGE - Contract Keys: Before, maintainers were incorrectly not checked to be a subset of the signatories, now they are. See issue #1123
Sandbox¶
- When loading a scenario with
--scenario
, the sandbox no longer compiles packages twice, see issue #1238. - When starting the sandbox, you can now choose to have it load all the
.dar
packages immediately with the--eager-package-loading
flag. The default behavior is to load the packages only when a command requires them, which causes a delay for the first command that requires a yet-to-be-compiled package. See issue #1230.
SDK tools¶
- The Windows installer is now signed. You might still see Windows defender warnings for some time but the publisher should now show “Digital Asset Holdings, LLC”.
0.12.18 - 2019-05-20¶
Documentation¶
- Removed unnecessary dependency in the quickstart-java example project.
- Removed the Configure Maven section from the installation instructions. This step is not needed anymore.
SDK tools¶
DAML Assistant: We’ve built a new and improved version of the SDK assistant, replacing
da
commands withdaml
commands. The documentation is updated to use the new assistant in this release.For a full guide to what’s changed and how to migrate, see Moving to the new DAML assistant. To read about how to use the new
daml
Assistant, see DAML Assistant (daml).
DAML¶
BREAKING CHANGE - DAML Compiler: It is now an error to omit method bodies in class
instance
s if the method has no default. Almost all instances of such behaviour were an error - add in a suitable definition.Contract keys: We’ve added documentation for contract keys, a way of specifying a primary key for contract instances. For information about how to use them, see Contract keys.
BREAKING CHANGE - DAML Standard Library: Moved the
Tuple
andEither
types todaml-prim:DA.Types
rather than exposing internal locations.How to migrate:
- You don’t need to change DAML code as a result of this change.
- People using the Java/Scala codegen need to replace
import ghc.tuple.*
orimport da.internal.prelude.*
withimport da.types.*
. - People using the Ledger API directly need to replace
GHC.Tuple
andDA.Internal.Prelude
withDA.Types
.
BREAKING CHANGE - DAML Standard Library: Don’t expose the
TextMap
type via thePrelude
anymore.How to migrate: Always import
DA.TextMap
when you want to use theTextMap
type.DAML Standard Library: Add
String
as a compatibility alias forText
.
Ledger API¶
BREAKING Removed the unused field ExercisedEvent from Event, because a Transaction never contains exercised events (only created and archived events): #960
This change is backwards compatible on the transport level, meaning:
- new versions of ledger language bindings will work with previous versions of the Sandbox, because the field was never populated
- previous versions of the ledger language bindings will work with new versions of the Sandbox, as the field was removed without any change in observable behavior
How to migrate:
- If you check for the presence of ExercisedEvent when handling a Transaction, you have to remove this code now.
Added the agreement text as a new field
agreement_text
to theCreatedEvent
message. This means you now have access to the agreement text of contracts via the Ledger API. The type of this field isgoogle.protobuf.StringValue
to properly reflect the optionality on the wire for full backwards compatibility. See Google’s wrappers.proto for more information aboutStringValue
.See #1110 for details.
Fixed: the CommandService.SubmitAndWait endpoint no longer rejects commands without a workflow identifier.
See #572 for details.
Java Bindings¶
BREAKING Reflect the breaking change of Ledger API in the event class hierarchy:
- Changed
data.Event
from an abstract class to an interface, representing events in a flat transaction. - Added interface
data.TreeEvent
, representing events in a transaction tree. data.CreatedEvent
anddata.ArchivedEvent
now implementdata.Event
.data.CreatedEvent
anddata.ExercisedEvent
now implementdata.TreeEvent
.data.TransactionTree#eventsById
is nowMap<String, TreeEvent>
(was previouslyMap<String, Event>
).
How to migrate:
- If you are processing
data.TransactionTree
objects, you need to change the type of the processed events fromdata.Event
todata.TreeEvent
. - If you are checking for the presense of exercised events when processing
data.Transaction
objects, you can remove that code now. It would never have triggered in the first place, as transactions do not contain exercised events.
- Changed
Java Codegen: You can now call a method to get a
CreateAndExerciseCommand
for each choice, for example:CreateAndExerciseCommand cmd = new MyTemplate(owner, someText).createAndExerciseAccept(42L);
In this case
MyTemplate
is a DAML template with a choiceAccept
and the resulting command will create a contract and exercise theAccept
choice within the same transaction.See issue #1092 for details.
Added agreement text of contracts: #1110
- Java Bindings
- Added field
Optional<String> agreementText
todata.CreatedEvent
, to reflect the change in Ledger API.
- Added field
- Java Codegen
- Added generated field
Optional<String> TemplateName.Contract#agreementText
. - Added generated static method
TemplateName.Contract.fromCreatedEvent(CreatedEvent)
. This is the preferred method to use for converting aCreatedEvent
into aContract
. - Added generated static method
TemplateName.Contract.fromIdAndRecord(String, Record, Optional<String>)
. This method is useful for setting up tests, when you want to convert aRecord
into a contract without having to create aCreatedEvent
first. - Deprecated generated static method
TemplateName.Contract.fromIdAndRecord(String, Record)
in favor of the new static methods in the generatedContract
classes. - Changed the generated decoder utility class to use the new
fromCreatedEvent
method. - BREAKING Changed the return type of the
getDecoder
method in the generated decoder utility class fromOptional<BiFunction<String, Record, Contract>>
toOptional<Function<CreatedEvent, Contract>>
.
- Added generated field
How to migrate:
If you are manually constructing instances of
data.CreatedEvent
(for example, for testing), you need to add anOptional<String>
value as constructor parameter for theagreementText
field.You should change all calls to
Contract.fromIdAndRecord
toContract.fromCreatedEvent
.// BEFORE CreatedEvent event = ...; Iou.Contract contract = Iou.Contract.fromIdAndRecord(event.getContractId(), event.getArguments())); // AFTER CreatedEvent event = ...; Iou.Contract contract = Iou.Contract.fromCreatedEvent(event);
Pass the
data.CreatedEvent
directly to the function returned by the decoder’sgetDecoder
method. If you are using the decoder utility class methodfromCreatedEvent
, you don’t need to change anything.CreatedEvent event = ...; // BEFORE Optional<BiFunction<String, Record, Contract>> decoder = MyDecoderUtility.getDecoder(MyTemplate.TEMPLATE_ID); if (decoder.isPresent()) { return decoder.get().apply(event.getContractId(), event.getArguments(); } // AFTER Optional<Function<CreatedEvent, Contract>> decoder = MyDecoderUtility.getDecoder(MyTemplate.TEMPLATE_ID); if (decoder.isPresent()) { return decoder.get().apply(event); }
- Java Bindings
Scala Bindings¶
BREAKING You can now access the agreement text of a contract with the new field
Contract#agreementText: Option[String]
.How to migrate:
- If you are pattern matching on
com.daml.ledger.client.binding.Contract
, you need to add a match clause for the added field. - If you are constructing
com.daml.ledger.client.binding.Contract
values, for example for tests, you need to add a constructor parameter for the agreement text.
- If you are pattern matching on
CreateAndExercise
support viacreateAnd
method, e.g.MyTemplate(owner, someText).createAnd.exerciseAccept(controller, 42)
. See issue #1092 for more information.
Ledger¶
- Renamed
--jdbcurl
to--sql-backend-jdbcurl
. Left--jdbcurl
in place for backwards compat. - Fixed issue when loading scenarios making use of
pass
into the sandbox, see #1079. - Fixed issue when loading scenarios that involve contract divulgence, see #1166.
- Contract visibility is now properly checked when looking up contracts in the SQL backend, see #784.
- The sandbox now exposes the agreement text of contracts in CreatedEvents. See #1110
Navigator¶
- Non-empty agreement texts are now shown on the contract page above the section
Contract details
, see #1110
0.12.17 - 2019-05-10¶
Making transaction lookups performant so we can handle such requests for large ledgers as well
Sandbox: Transactions with a record time that is after the maximum record time (as provided in the original command) are now properly rejected instead of committed to the ledger.
See issue #987 for details.
SDK: The Windows installer no longer requires elevated privileges.
0.12.16 - 2019-05-07¶
Contract keys: Fixed two issues related to contract key visibility.
See issue #969 and issue #973 for details.
Java Codegen: Variants with unserializable cases are now accepted.
See issue #946 for details.
Java Bindings:
CreateAndExerciseCommand
is now properly converted in the Java Bindings data layer.See issue #979 for details.
DAML Integration Kit: Alpha release of the kit for integrating your own ledger with DAML. See the DAML Integration Kit docs for how to try it out.
DAML Assistant: Added a
quickstart-scala
DAML Assistant project template.DAML-LF Engine: If all labels in a record are set, fields no longer need to be ordered.
See issue #988 for details.
0.12.15 - 2019-05-06¶
Windows support: Beta release of the Windows SDK.
To try it out, download the installer from GitHub releases. The Windows SDK uses the new
daml
command-line which will soon also become the default on Linux and MacOS.Documentation is still in progress, but you can see Moving to the new DAML assistant and the pull request for the updated documentation.
DAML Standard Library: Added
fromListWith
andmerge
toDA.TextMap
.DAML Standard Library: Deprecated
DA.Map
andDA.Set
. Use the newDA.Next.Map
andDA.Next.Set
instead.Ledger API: Added three new methods to the CommandService:
SubmitAndWaitForTransactionId
returns the transaction ID.
Beta release of the Windows SDK: You can download the installer from GitHub releases. The Windows SDK ships with the new daml installer which will soon also become the default on Linux and MacOS. Documentation is still in progress, take a look at the Migration guide and the updated documentation.
Add
fromListWith
andmerge
toDA.TextMap
.Release Javadoc artifacts as part of the SDK. See more here https://github.com/digital-asset/daml/pull/896
Add
DA.Next.Map
andDA.Next.Set
and deprecateDA.Map
andDA.Set
in favor of those.Ledger API: Added three new methods to CommandService:
SubmitAndWaitForTransactionId
returns the transaction id.SubmitAndWaitForTransaction
returns the transaction.SubmitAndWaitForTransactionTree
returns the transaction tree.
Ledger API: Added field
transaction_id
to command completions. This field is only set when a command is successful.DAML Standard Library: Added instances of
Functor
,Applicative
, andAction
for(->) r
(the reader monad).
0.12.14 - 2019-05-03¶
- DAML Standard Library: The
id
function was previously deprecated and has now been removed. Useidentity
instead. - DAML and Assistant: The compiler no longer supports DAML-LF 1.0.
- DAML-LF: As a new “dev” minor version, writing with
--target 1.dev
is now supported by all tools by default. - Ledger API: You can now look up flat transactions with the new TransactionService methods
GetFlatTransactionByEventId
andGetFlatTransactionById
.
0.12.13 - 2019-05-02¶
Sandbox: Fixed an problem with Postgres of potentially not stopping the transaction stream at required ceiling offset.
For more details, see the pull request.
0.12.12 - 2019-04-30¶
Sandbox: Added support for using a Postgres database as a back end for the Sandbox, which gives you persistent data storage. To try it out, see DAML Sandbox.
DAML Integration Kit: Added documentation for the DAML Integration Kit. The docs explain what the DAML Integration Kit is, what state it is in, and how it is going to evolve.
DAML Integration Kit: Released the Ledger API Test Tool. To try it out, see Ledger API Test Tool.
DAML-LF: Removed DAML-LF Dev major version,
--target dev
option, and sandbox--allow-dev
option.A “1.dev” target will handle the intended “Dev” use cases in a future release.
Ledger API: The list of DAML packages used during interpretation is now included in the produced transaction.
Scala: Source JARs are now released for Scala libraries.
DAML Standard Library: Renamed
DA.TextMap.filter
andDA.Map.filter
tofilterWithKey
.Contract keys: Fixed bug releated to visibility and contract keys.
For details, see issue #751.
Contract keys: Fixed bug related witness parties in transaction events.
For details, see issue #794.
0.12.11 - 2019-04-26¶
- Node.js Bindings: The Node.js bindings have been moved to github.com/digital-asset/daml-js.
- DAML: Added documentation for flexible controllers. To read about them, see Overview: template structure, and for an example, see Multiple party agreement.
0.12.10 — 2019-04-25¶
- DAML-LF: DAML-LF 1.3 is now the default compilation target for the DAML compiler. This means that contract keys and text maps are now available by default in DAML.
0.12.9 — 2019-04-23¶
DAML Standard Library: Added the
DA.Math
library containing exponentiation, logarithms and trig functionsLedger API: Added
CreateAndExerciseCommand
to the Ledger API and DAMLe for creating a contract and exercising a choice on it within the same transaction.You can use this to implement “callable updates”: functions of type
Update a
that can be called from the Ledger API via a contract.Publish the participant-state APIs and reference implementations.
Sandbox: Added the
-s
option to the CLI to have a shortened version for--static-time
.Sandbox: Change
--allow-dev
to be a hidden CLI option, as it’s generally not relevant for end users.
0.12.7 — 2019-04-17¶
No user-facing changes.
0.12.6 — 2019-04-16¶
- Java Bindings: Removed blocking call inside
Bot.wire
, which could lead to an application not making progress in certain situations.
0.12.5 — 2019-04-15¶
- DAML-LF: The DAML-LF Archive Protobuf definitions are now packaged so that it’s possible to use them without mangling the path.
0.12.4 — 2019-04-15¶
SDK: Build artifacts are now released to GitHub.
Sandbox: We now avoid recompiling packages after resetting using the
ResetService
.Scala: The compiled
google.rpc.Status
is now included in theledger-api-scalapb
jar.Ledger API: Fixed critical bug related to the conversion of decimal numbers from Ledger API.
For details, see issue #399 and issue #439.
0.12.3 — 2019-04-12¶
- SDK: Fix Navigator and Extractor packaging.
0.12.2 — 2019-04-12¶
- DAML: Added flexible controllers and disjunction choices.
- Sandbox: Introduced experimental support for using Postgres as a backend. The optional CLI argument for it,
--jdbcurl
, is still hidden. - Node.js Bindings: Fixed validation for Ledger API timestamp values.
- Node.js Bindings: Drop support for identifier names, replacing them with separated module and entity names.
- Node.js Bindings: Ledger API timestamps and dates are now represented with strings instead of numbers.
- Node.js Bindings: Protobuf 64-bit precision integers now use strings instead of numbers, to avoid a loss of precision.
- Java Codegen: Added support for DAML TextMap primitive. This is mapped to the
java.util.Map
type, with keys restricted tojava.lang.String
instances. - Java Codegen: Made log output leaner.
- Java Codegen: Added flag for log verbosity:
-V LEVEL
or--verbosity LEVEL
, whereLEVEL
is a number between0
(least verbose) and4
(most verbose). - BREAKING - Sandbox and DAMLe: Remove support for DAML 1.0 packages in the engine, and thus the Sandbox. Note that the SDK has removed support for compiling DAML 1.0 months ago.
0.12.1 — 2019-04-04¶
No user-facing changes.
0.12.0 — 2019-04-04¶
Change in how values are addressed in Navigator’s
frontend-config.js
.Old syntax for accessing values:
argument.foo.bar
New syntax:
import { DamlLfValue } from '@da/ui-core'; // Accessing field 'bar' of field 'foo' of the argument DamlLfValue.evalPath(argument, ["foo", "bar"]) DamlLfValue.toJSON(argument).foo.bar
0.11.32¶
BREAKING CHANGE - DAML standard library: Removed
DA.List.split
function, which was never intended to be exposed and doesn’t do what the name suggests.BREAKING CHANGE - Java Bindings: Removed type parameter for
DamlList
andDamlOptional
classes.The
DamlList
,DamlOptional
, andContractId
classes were previously parameterized (i.eDamlList[String]
) for consistency with the DAML language. The type parameter has been removed as such type information is not supported by the underlying Ledger API and therefore the parameterized type couldn’t be checked for correctness.BREAKING CHANGE - Java Bindings: For all classes in the package
com.daml.ledger.javaapi.data
, we shortened the names of the conversion methods from long forms likefromProtoGeneratedCompletionStreamRequest
andtoProtoGeneratedCompletionStreamRequest
to the much shorterfromProto
andtoProto
.Navigator: Added support for Optional and recursive data types.
Navigator: Improved start up performance for big DAML models.
BREAKING CHANGE - Navigator: Refactor the GraphQL API.
If you’re maintaining a modified version of the Navigator frontend, you’ll need to adapt all your GraphQL queries to the new API.
Navigator: Fixed an issue where it was not possible to enter contract arguments involving contract IDs.
Navigator: Fixed issues where the console could not read some events or commands from its database.
BREAKING CHANGE - DAML: For the time being, data types with a single data constructor not associated with an argument are not accepted. For example,
data T = T
.To work around this, use
data T = T {}
ordata T = T ()
(depending on whether you desireT
be interpreted as a product or a sum).
0.11.3 - 2019-02-07¶
- Navigator: Fixed display of Date values.
- Extractor: Added first version of Extractor with PostgreSQL support.
0.11.2 - 2019-01-31¶
- Navigator: Added a terminal-based console interface using SQLite as a backend.
- Navigator: Now writes logs to
./navigator.log
by default using Logback. - DAML Studio: Significant performance improvements.
- DAML Studio: New table view for scenario results.
- DAML Standard Library: New type classes.
- Node.js bindings: Documentation updated to use version 0.4.0 and DAML 1.2.
0.11.1 - 2019-01-24¶
- Java Bindings: Fixed
Timestamp.fromInstant
andTimestamp.toInstant
. - Java Bindings: Added
Timestamp.getMicroseconds
.
0.11.0 - 2019-01-17¶
Documentation: DAML documentation and examples now use DAML 1.2.
Documentation: Added a comprehensive quickstart guide that replaces the old “My first project” example.
As part of this, removed the My first project, IOU and PvP examples.
Documentation: Added a guide to building applications against a DAML ledger.
Documentation: Updated the support and feedback page.
Ledger API: Version 1.4.0 has support for multi-party subscriptions in the transactions and active contracts services.
Ledger API: Version 1.4.0 supports the verbose field in the transactions and active contracts services.
Ledger API: Version 1.4.0 has full support for transaction trees.
Sandbox: Implements Ledger API version 1.4.0.
Java Bindings: Examples updated to use version 2.5.2 which implements Ledger API version 1.4.0.