8e8e0dabdf
* Add DA_Internal_Interface to convertTypeDef exclusion check * Move desugared types/values for interface views into DA.Internal.Desugar * Convert viewtype and view method declarations * Typecheck view types and view declarations * Add unit viewtypes to InterfaceChoiceCollision tests * Add unit viewtypes to more compiler/damlc tests * Modify empty interfaces/implements to have viewtypes/views * Add unit viewtypes to remaining Interface tests * Test for error thrown when viewtype not specified * Fix daml-lf/ interface tests to use new syntax / unit views * Add placeholder view of type Unit to TestInterfaces CHANGELOG_BEGIN CHANGELOG_END * Fix typescript interface tests with unit viewtype * Add unit viewtype to Java & Scala codegen * Add unit viewtype to triggers tests interface * Add unit viewtypes to ledger/test-common * Add unit viewtypes to ledger-service/http-json * Fix some damlc tests * Use viewtype syntax in InterfaceViewNonSerializable test * Remove HasInferfaceView instances in convertBind * Add unit view to QualifiedInterface.daml test * Generate HasInterfaceView instances in DataDependencies * Add unit viewtypes and views to compiler/damlc/tests * Document reconstruction of HasInterfaceView * Move desugared types/values for interface views into DA.Internal.Desugar * Add desugarable function view w/ EViewInterface desugaring * Remove templateName and viewtype from generated EViewInterface * Update desugared-daml * Proof of concept: use _view -> EViewInterface prim via HasInterfaceView * Move view, HasInterfaceView to DA.Internal.Interface * Update desugared-daml tests * Stop removing and re-generating HasInterfaceView instances * Do not generate docs for generated "_view_" methods * Report errors with interface TypeConNames prettily * Fix InterfaceViewNotSpecified @ERROR to reflect new error text * Don't import magic `view` method from Prelude to avoid name clash * Update shake interface goto definition test locations * Temp disable view spec tests, will re-implement views in speedy * Add unit viewtype to Java code snippet docs * Update Interface syntax docs for views * Add unit viewtype to Transferrable.daml * Add back "empty" interface implementation to interfaces.rst * Re-enable view tests by having _view methods on InterfaceViews.daml file * Remove deprecated commented-out view desugaring code |
||
---|---|---|
.github | ||
.vscode | ||
3rdparty | ||
bazel_tools | ||
build-scripts | ||
ci | ||
compatibility | ||
compiler | ||
daml-assistant | ||
daml-lf | ||
daml-script | ||
dev-env | ||
docs | ||
ghc-lib | ||
infra | ||
language-support | ||
ledger | ||
ledger-api | ||
ledger-service | ||
libs-haskell | ||
libs-scala | ||
navigator | ||
nix | ||
release | ||
replacements | ||
rules_daml | ||
runtime-components | ||
scala-protoc-plugins | ||
security | ||
templates | ||
test-evidence | ||
triggers | ||
.bazelignore | ||
.bazelrc | ||
.dadew | ||
.envrc | ||
.gitattributes | ||
.gitignore | ||
.hie-bios | ||
.hlint.yaml | ||
.prettierignore | ||
.prettierrc.yaml | ||
.scalafmt.conf | ||
azure-cron.yml | ||
azure-pipelines.yml | ||
BAZEL-bash.md | ||
BAZEL-go.md | ||
bazel-haskell-deps.bzl | ||
BAZEL-haskell.md | ||
bazel-java-deps.bzl | ||
BAZEL-JVM.md | ||
BAZEL-oracle.md | ||
BAZEL.md | ||
buf-ledger-api.yaml | ||
buf-ledger-configuration.yaml | ||
buf-lf-transaction.yaml | ||
buf-participant-integration-api.yaml | ||
BUILD | ||
build.ps1 | ||
build.sh | ||
canton_dep.bzl | ||
CHANGELOG | ||
CODE_OF_CONDUCT.md | ||
CODEOWNERS | ||
CONTRIBUTING.md | ||
COPY | ||
daml-logo.png | ||
deps.bzl | ||
dotfiles | ||
fmt.sh | ||
go_deps.bzl | ||
go.mod | ||
go.sum | ||
hls_snapshot.json | ||
hls-snapshot.yaml | ||
LATEST | ||
LICENSE | ||
maven_install_2.13.json | ||
NIGHTLY_PREFIX | ||
NOTICES | ||
NOTICES.md | ||
package.json | ||
Pipfile | ||
README.md | ||
release.sh | ||
security-evidence.md | ||
SECURITY.md | ||
shell.nix | ||
stack-snapshot.yaml | ||
stackage_snapshot_windows.json | ||
stackage_snapshot.json | ||
tsconfig.json | ||
unreleased.sh | ||
Upgrading.md | ||
WORKSPACE | ||
yarn.lock |
Copyright (c) 2022 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
On Linux dev-env
can be installed with:
- Install Nix by running:
bash <(curl -sSfL https://nixos.org/nix/install)
- 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.
Mac
On Mac dev-env
can be installed with:
-
Install Nix by running:
bash <(curl -sSfL https://nixos.org/nix/install)
- This is a multi-user installation (there is no single-user installation option for macOS). Because of this, you need to configure
/etc/nix/nix.conf
to use Nix caches:
-
Add yourself as a nix trusted user by running
echo "extra-trusted-users = $USER" | sudo tee -a /etc/nix/nix.conf
-
Restart the
nix-daemon
by runningsudo launchctl stop org.nixos.nix-daemon && sudo launchctl start org.nixos.nix-daemon
- This is a multi-user installation (there is no single-user installation option for macOS). Because of this, you need to configure
-
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.
Note that after a macOS update it can appear as if Nix is not installed. This is because macOS updates can modify shell config files in /etc
, which the multi-user installation of Nix modifies as well. A workaround for this problem is to add the following to your shell config file in your $HOME
directory:
# Nix
if [ -e '/nix/var/nix/profiles/default/etc/profile.d/nix-daemon.sh' ]; then
. '/nix/var/nix/profiles/default/etc/profile.d/nix-daemon.sh'
fi
# End Nix
See https://github.com/NixOS/nix/issues/3616 for more information about this issue.
MacOS M1
The above procedure will use and build native arm64 M1 binaries for this project. However, note that at the time of writing the CI system of the Daml project does not yet include MacOS M1 nodes. Therefore, the M1 configuration is untested on CI, and the remote cache is not populated with native M1 artifacts.
If you encounter issues with a native M1 build, then you can configure project
to build x86-64 binaries instead and run them through Rosetta. To do that
replace the contents of the file nix/system.nix
with the following content:
"x86_64-darwin"
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
You also need to configure Bazel for Windows:
echo "build --config windows" > .bazelrc.local
Note, if you are on a Windows ad-hoc or CI machine you can use
ci/configure-bazel.sh
instead of performing these steps manually.
In that case, you should checkout the daml
repository into the path
D:\a\1\s
in order to be able to use remote cache artifacts.
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 . --install-assistant=yes
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
.