Release of Daml SDK 0.13.39

0.13.39 - 2019-12-05

Java Bindings

  • Added authentication support. See issue #3626

Daml Compiler

  • The modules GHC.Prim and GHC.Types from daml-prim have been moved to separate packages.
  • Don't make UndecidableSuperClasses a default language extension for Daml anymore. If you really need this feature for a module, you can reenable it using a LANGUAGE pragma at the top.

Daml SDK

  • Reduced the size of the Daml SDK by about 60% uncompressed, 70% compressed, by deduplicating Scala dependencies.
  • daml damlc docs now takes into account the project's build-options from daml.yaml.
  • daml ledger navigator now loads frontend-config.js properly.


  • Explicit config files passed via -c are preferred over daml.yaml.

Ledger API Server

Participant State API

  • Add a mandatory currentHealth() method to IndexServiceReadService and WriteService.

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.


Join the Daml mailinglist to get occasional updates on announcements and new releases