The Daml smart contract language
Go to file
azure-pipelines[bot] 7c86c0a8c4
release 1.12.0-snapshot.20210323.6567.0.90c5ce70 (#9221)
This PR has been created by a script, which is not very smart
and does not have all the context. Please do double-check that
the version prefix is correct before merging.

@robin-da is in charge of this release.

Commit log:
```
90c5ce703a Optimize mapOptional and add more efficient findOptional (#9214)
1e0c67c306 LF: Add RoundingMode and BigNumeric in Haskell Ast (#9215)
e492603808 More manual list fusion in stdlib (#9217)
90aa84193f tuesday notif: newlines (#9213)
51c5eac66e LF: Add BigNumeric to archive proto (#9210)
615f4e4bae Support passing sandbox port via --sandbox-option --port (#9208)
349e0a0bef LF: fix package name in LF 1.12 proto snapshot (#9211)
b7aedb477b Remove contract arguments from localContracts (#9207)
c1cf2756a8 add rollback node to transactions (#9178)
2551b2d615 LF: Add BigNumeric and Rounding to Scala AST (#9205)
be4dbd971d update compat versions for 1.11.1 (#9172)
0f9ab428ee kvutils: Remove ledger dump functionality  (#9204)
f89aa294e5 damlc pkg: use cache for already present packages (#9193)
7a41ee6ce0 Cache contract fetches in speedy (#9192)
644561fe23 Bump jinja2 from 2.11.2 to 2.11.3 in /docs/scripts (#9198)
bf76e3c84a update NOTICES file (#9201)
4d90d02740 LF: drop useless field arity in Ast Builtin (#9194)
a93f89b6f8 Factor out an Oracle test fixture (#9191)
51f495e758 KVL-203 Share participant state integration test harness (#9143)
440eead6c4 Make LedgerDao a pure interface (#9186)
617e6f58e8 update NOTICES file (#9190)
587a9c95d0 Recognize (some) exerciseByKey commands in Daml script dumps (#9185)
ad94c47605 ci/docker: sync with hub (#9184)
081623b493 fix: bad package id validation (#9183)
f0c8b1240d Integrate non-repudiation into HTTP JSON API (#9180)
dbd8806848 Distinguish all four types of submits (#9179)
8c64f120da pkgid data deps (#9153)
d5ca22815d Recognize simple createAndExercise commands (#9154)
6c9679f511 Add documentation for the Daml Profiler (#9174)
a6da995ecb use representational variance for generated Scala classes (#8879)
47e0a223e7 rotate release duty after 1.12.0-snapshot.20210316.6523.0.b382fc45 (#9161)
1ea00976f0 skip compat tests on release (#9169)
c26c349c8b Generate exception instances from syntax. (#9140)
9d175ce547 Document profiling internals (#9168)
5e97c573e0 Add a test for create and exercise events in the profiler (#9151)
75f7688cae Expose unhandled exception values and types (#9158)
e4d5799907 weekly release (#9167)
370f290d3d Handle createAndExecuteCmd (#9150)
af0cb30828 Release SDK 1.11.1 (#9162)
```
Changelog:
```

- [Daml Assistant] The sandbox port can now also be configured via
  `--sandbox-option=--port=12345` instead of `--sandbox-port`. Other
  tools like Navigator, the JSON API and Daml Script will pick up the
  modified port automatically.

- [JSON API] The JAR for the HTTP JSON API is no longer published on
Maven, use the fat JAR as indicated in the documentation.

- [Daml Profiler] Daml Connect EE now includes a profiler which can be
used to profile Daml execution time.

- [Scala Codegen] Type parameters used in GenMap keys are now supported.
  See `issue #8879 <https://github.com/digital-asset/daml/pull/8879>`__.
```

CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines DAML Build <support@digitalasset.com>
2021-03-24 14:16:28 +01:00
.github Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00
.vscode Update .vscode/settings.json (#8425) 2021-01-07 14:32:33 +00:00
3rdparty Disable deriving-defaults per file (#8684) 2021-01-29 11:01:55 +00:00
bazel_tools Start adding exception syntax support. (#8960) 2021-03-10 12:07:53 +00:00
build-scripts Upgrade the LF library build setup (resolver, dependencies, version) (#8865) 2021-02-17 07:07:17 +01:00
ci use coreutils date on macos (#9228) 2021-03-24 13:35:02 +01:00
compatibility update compat versions for 1.11.1 (#9172) 2021-03-22 18:25:07 +01:00
compiler Fix doctests (#9225) 2021-03-24 12:56:37 +01:00
daml-assistant Support passing sandbox port via --sandbox-option --port (#9208) 2021-03-23 13:31:07 +01:00
daml-lf LF: Add BigNumeric to archive proto (#9210) 2021-03-23 13:58:22 +00:00
daml-script Improve syntax for selecting contract ids from a transaction tree (#9216) 2021-03-24 12:30:27 +00:00
dev-env use coreutils date on macos (#9228) 2021-03-24 13:35:02 +01:00
docs Bump jinja2 from 2.11.2 to 2.11.3 in /docs/scripts (#9198) 2021-03-22 09:19:17 +01:00
extractor Add new variant to Value.scala for builtin-exceptions. (#9084) 2021-03-16 13:15:33 +00:00
ghc-lib copyright updates (#8610) 2021-01-22 15:03:36 +00:00
infra ci: fix cache cleanup (#9137) 2021-03-16 17:51:38 +01:00
language-support use representational variance for generated Scala classes (#8879) 2021-03-17 16:47:18 +00:00
ledger add rollback node to transactions (#9178) 2021-03-23 08:49:25 +00:00
ledger-api KVL-203 Share participant state integration test harness (#9143) 2021-03-19 16:29:02 +01:00
ledger-service Factor out an Oracle test fixture (#9191) 2021-03-19 16:37:36 +01:00
libs-haskell Merge Maven uploads for different Scala versions (#8943) 2021-02-24 20:33:53 +00:00
libs-scala Factor out an Oracle test fixture (#9191) 2021-03-19 16:37:36 +01:00
navigator Add new variant to Value.scala for builtin-exceptions. (#9084) 2021-03-16 13:15:33 +00:00
nix use coreutils date on macos (#9228) 2021-03-24 13:35:02 +01:00
release KVL-203 Share participant state integration test harness (#9143) 2021-03-19 16:29:02 +01:00
replacements update copyright notices for 2021 (#8257) 2021-01-01 19:49:51 +01:00
rules_daml Fix doctests (#9225) 2021-03-24 12:56:37 +01:00
runtime-components Refactor TableSpec (#9088) 2021-03-11 13:27:30 +00:00
scala-protoc-plugins Upgrade scalafmt and enable trailing commas (#8437) 2021-01-09 11:37:37 +01:00
templates Apply new logo to create-daml-app template (#9105) 2021-03-12 13:20:31 +01:00
triggers Bump ghcide (#9041) 2021-03-05 18:17:28 +01:00
.bazelignore Remove redundant clean --expunge (#6890) 2020-07-28 09:49:36 +02:00
.bazelrc Upgrade to Bazel 4.0 (#8798) 2021-02-11 10:08:47 +01:00
.dadew Update VC redist to 14.28.29325.2 (#8431) 2021-01-07 16:31:25 +00:00
.envrc open-sourcing daml 2019-04-04 09:33:38 +01:00
.gitattributes Remove unreleased.rst (#3547) 2019-11-20 15:16:57 +00:00
.gitignore Commit compatibility/.bazelrc (#8955) 2021-02-25 19:53:30 +01:00
.hie-bios Update rules_haskell (#4751) 2020-03-13 16:49:34 +01:00
.hlint.yaml update copyright notices for 2021 (#8257) 2021-01-01 19:49:51 +01:00
.mergify.yml update mergify config for ci split (#8390) 2021-01-05 11:31:48 +01:00
.scalafmt.conf Pin scalafmt version in configuration file (#8447) 2021-01-11 10:05:58 +00:00
azure-cron.yml Clean broken entries from the Bazel cache (#8668) 2021-01-28 17:57:09 +00:00
azure-pipelines.yml fix release job (#9166) 2021-03-17 09:46:02 +00:00
BAZEL-bash.md add Bazel bash help (#2223) 2019-07-19 15:31:45 +00:00
bazel-haskell-deps.bzl pkgid data deps (#9153) 2021-03-18 12:17:38 +01:00
BAZEL-haskell.md Switch to GHC 8.10.3 (#8394) 2021-01-25 11:53:53 +00:00
bazel-java-deps.bzl Upgrade akka to 2.6.13 (#9026) 2021-03-05 10:31:37 +01:00
BAZEL-JVM.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00
BAZEL.md Enforce Java formatting style with google-java-format (#8686) 2021-01-29 16:50:18 +00:00
BUILD Fix Daml Script dump integration tests (#8779) 2021-02-08 16:54:46 +01:00
build.ps1 Move artifact publishing out of yaml files (#9071) 2021-03-11 11:44:02 +01:00
build.sh Disable ghcide tests (#8705) 2021-02-01 15:30:53 +00:00
CHANGELOG Move unreleased user-facing features to its own file (#1762) 2019-06-19 16:32:03 +02:00
CODE_OF_CONDUCT.md open-sourcing daml 2019-04-04 09:33:38 +01:00
CODEOWNERS update areas to alert @S11001001 of changes (#9156) 2021-03-16 20:25:28 +00:00
CONTRIBUTING.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00
COPY update copyright notices for 2021 (#8257) 2021-01-01 19:49:51 +01:00
daml-logo.png Replace Daml logo on README (#8756) 2021-02-04 16:28:52 +01:00
deps.bzl cheat-sheet: update (#9079) 2021-03-11 12:01:16 +01:00
dotfiles open-sourcing daml 2019-04-04 09:33:38 +01:00
fmt.sh Commit compatibility/.bazelrc (#8955) 2021-02-25 19:53:30 +01:00
ghcide_snapshot_windows.json Switch to GHC 8.10.3 (#8394) 2021-01-25 11:53:53 +00:00
ghcide_snapshot.json Switch to GHC 8.10.3 (#8394) 2021-01-25 11:53:53 +00:00
ghcide-snapshot.yaml Switch to GHC 8.10.3 (#8394) 2021-01-25 11:53:53 +00:00
LATEST release 1.12.0-snapshot.20210323.6567.0.90c5ce70 (#9221) 2021-03-24 14:16:28 +01:00
LICENSE copyright updates (#8610) 2021-01-22 15:03:36 +00:00
maven_install_2.12.json Upgrade akka to 2.6.13 (#9026) 2021-03-05 10:31:37 +01:00
maven_install_2.13.json Upgrade akka to 2.6.13 (#9026) 2021-03-05 10:31:37 +01:00
NOTICES update NOTICES file (#9223) 2021-03-24 08:23:35 +01:00
NOTICES.md cleanup oss-compliance & NOTICES.md (#8242) 2020-12-10 16:45:56 +01:00
package.json Upgrade elliptic dependency to address vulnerabilities (#9055) 2021-03-09 14:44:10 +01:00
Pipfile add blackduck scan to run on master (#6130) (#8161) 2020-12-07 19:59:39 +00:00
README.md Release EE SDK tarballs and installer (#9086) 2021-03-11 14:49:48 +01:00
release.sh Point out where the documentation for release.sh is (#8996) 2021-03-03 11:55:30 +00:00
SECURITY.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00:00
stack-snapshot.yaml Generate exception instances from syntax. (#9140) 2021-03-17 12:19:22 +00:00
stackage_snapshot_windows.json pkgid data deps (#9153) 2021-03-18 12:17:38 +01:00
stackage_snapshot.json pkgid data deps (#9153) 2021-03-18 12:17:38 +01:00
tsconfig.json open-sourcing daml 2019-04-04 09:33:38 +01:00
unreleased.sh update copyright notices for 2021 (#8257) 2021-01-01 19:49:51 +01:00
Upgrading.md Upgrade rules_haskell and pin stack_snapshot (#6548) 2020-07-02 18:55:09 +02:00
WORKSPACE Upgrade canton to 0.21.0 which supports lf-version 1.11 (#8963) 2021-02-26 16:52:03 +00:00
workspace_status.sh update copyright notices for 2021 (#8257) 2021-01-01 19:49:51 +01:00
yarn.lock Upgrade elliptic dependency to address vulnerabilities (#9055) 2021-03-09 14:44:10 +01:00

Daml logo

Download License Build

Copyright (c) 2021 Digital Asset (Switzerland) GmbH and/or its affiliates. All Rights Reserved. SPDX-License-Identifier: Apache-2.0

Welcome to the Daml repository!

This repository hosts all code for the Daml smart contract language and SDK, originally created by Digital Asset. Daml is an open-source smart contract language for building future-proof distributed applications on a safe, privacy-aware runtime. The SDK is a set of tools to help you develop applications based on Daml.

Using Daml

To download Daml, follow the installation instructions. Once installed, to try it out, follow the quickstart guide.

If you have questions about how to use Daml or how to build Daml-based solutions, please join us on the Daml forum. Alternatively, if you prefer asking on StackOverflow, please use the daml tag.

Contributing to Daml

We warmly welcome contributions. If you are looking for ideas on how to contribute, please browse our issues. To build and test Daml:

1. Clone this repository

git clone git@github.com:digital-asset/daml.git
cd daml

2. Set up the development dependencies

Our builds require various development dependencies (e.g. Java, Bazel, Python), provided by a tool called dev-env.

Linux and Mac

On Linux and Mac dev-env can be installed with:

  1. Install Nix by running: bash <(curl -sSfL https://nixos.org/nix/install)
  2. Enter dev-env by running: eval "$(dev-env/bin/dade assist)"

If you don't want to enter dev-env manually each time using eval "$(dev-env/bin/dade assist)", you can also install direnv. This repo already provides a .envrc file, with an option to add more in a .envrc.private file.

Windows

On Windows you need to enable long file paths by running the following command in an admin powershell:

Set-ItemProperty -Path 'HKLM:\SYSTEM\CurrentControlSet\Control\FileSystem' -Name LongPathsEnabled -Type DWord -Value 1

Then start dev-env from PowerShell with:

.\dev-env\windows\bin\dadew.ps1 install
.\dev-env\windows\bin\dadew.ps1 sync
.\dev-env\windows\bin\dadew.ps1 enable

In all new PowerShell processes started, you need to repeat the enable step.

3. First build and test

We have a single script to build most targets and run the tests. On Linux and Mac run ./build.sh. On Windows run .\build.ps1. Note that these scripts may take over an hour the first time.

To just build do bazel build //..., and to just test do bazel test //.... To read more about Bazel and how to use it, see the Bazel site.

On Mac if building is causing trouble complaining about missing nix packages, you can try first running nix-build -A tools -A cached nix repeatedly until it completes without error.

4. Installing a local copy

On Linux and Mac run daml-sdk-head which installs a version of the SDK with version number 0.0.0. Set the version: field in any Daml project to 0.0.0 and it will use the locally installed one.

On Windows:

bazel build //release:sdk-release-tarball
tar -vxf .\bazel-bin\release\sdk-release-tarball-ce.tar.gz
cd sdk-*
daml\daml.exe install . --activate

That should tell you what to put in the path, something along the lines of C:\Users\admin\AppData\Roaming\daml\bin. Note that the Windows build is not yet fully functional.

Caching: build speed and disk space considerations

Bazel has a lot of nice properties, but they come at the cost of frequently rebuilding "the world". To make that bearable, we make extensive use of caching. Most artifacts should be cached in our CDN, which is configured in .bazelrc in this project.

However, even then, you may end up spending a lot of time (and bandwidth!) downloading artifacts from the CDN. To alleviate that, by default, our build will create a subfolder .bazel-cache in this project and keep an on-disk cache. This can take about 10GB at the time of writing.

To disable the disk cache, remove the following lines:

build:linux --disk_cache=.bazel-cache
build:darwin --disk_cache=.bazel-cache

from the .bazelrc file.

If you work with multiple copies of this repository, you can point all of them to the same disk cache by overwriting these configs in either a .bazelrc.local file in each copy, or a ~/.bazelrc file in your home directory.

Shared memory segment issues

On macOS at least, it looks like our setup does not always properly close the resources PostgreSQL uses. After a number of test runs, you may encounter an error message along the lines of:

FATAL:  could not create shared memory segment: No space left on device
DETAIL:  Failed system call was shmget(key=5432001, size=56, 03600).
HINT:  This error does *not* mean that you have run out of disk space. It occurs either if all available shared memory IDs have been taken, in which case you need to raise the SHMMNI parameter in your kernel, or because the system's overall limit for shared memory has been reached.
        The PostgreSQL documentation contains more information about shared memory configuration.
child process exited with exit code 1

In this case, this is a memory leak, so increasing SHMNI (or SHMALL etc.) as suggested will only delay the issue. You can look at the existing shared memory segments on your system by running ipcs -mcopt; this will print a line per segment, indicating the process ID of the last process to connect to the segment as well as the last access time and the number of currently connected processes.

If you identify segments with no connected processes, and you are confident you can remove them, you can do so with ipcrm $sid, where $sid is the process ID displayed (as the second column) by ipcs. Not many macOS applications use shared memory segments; if you have verified that all the existing memory segments on your machine need to be deleted, e.g. because they have all been created by PostgreSQL instances that are no longer running, here is a Bash invocation you can use to remove all shared memory segments from your system.

This is a dangerous command. Make sure you understand what it does before running it.

for shmid in $(ipcs -m | sed 1,3d | awk '{print $2}' | sed '$d'); do ipcrm -m $shmid; done

Haskell profiling builds

To build Haskell executables with profiling enabled, pass -c dbg to Bazel, e.g. bazel build -c dbg damlc. If you want to build the whole SDK with profiling enabled use daml-sdk-head --profiling.