Release of Daml SDK v0.13.20

Release Notes

Image of SDK Release Process

by SDK Release Process on 22 August, 2019

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 and daml studio on Windows.
damlc build should no longer leak file handles so ulimit 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 to DECIMAL in Protobuf definition.

Daml Studio

damlc ide now also accepts --ghc-option arguments like damlc build so damlc 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.

Sandbox

Fixed a bug that caused the reset service to hang for 10 seconds. See issue #2549.

Java Bindings

The Java Codegen now supports parametrized ContractIds. See #2258.

Daml Standard Library

Add stripInfix function to DA.List.