open-sourcing daml

akalburgi · Apr 4, 2019 · 05e691f · 05e691f
commit 05e691f
Show file tree

Hide file tree

Showing 4,376 changed files with 560,798 additions and 0 deletions.
diff --git a/.bazelignore b/.bazelignore
@@ -0,0 +1,3 @@
+dev-env/var
+scratch/
+navigator/frontend/node_modules/
diff --git a/.dadew b/.dadew
@@ -0,0 +1,21 @@
+{
+    "version": "0.0.8",
+    "manifests": "dev-env\\windows\\manifests",
+    "tools": [
+        "7zip",
+        "java-oraclejdk-8u111",
+        "java-openjdk-8u201",
+        "patch-2.6.1",
+        "msys2-20180531",
+        "curl-7.64.0",
+        "cacert",
+        "vcredist-14.0.23026",
+        "bazel",
+        "nodejs-10.12.0",
+        "pester-4.4.2",
+        "python-3.6.7",
+        "pipenv-2018.11.26",
+        "wget-1.19.4",
+        "git-2.19.2"
+    ]
+}
diff --git a/.dadew_azure b/.dadew_azure
@@ -0,0 +1,19 @@
+{
+    "version": "0.0.8",
+    "manifests": "dev-env\\windows\\manifests",
+    "tools": [
+        "7zip",
+        "java-openjdk-8u201",
+        "patch-2.6.1",
+        "msys2-20180531",
+        "curl-7.64.0",
+        "cacert",
+        "vcredist-14.0.23026",
+        "bazel",
+        "nodejs-10.12.0",
+        "pester-4.4.2",
+        "python-3.6.7",
+        "pipenv-2018.11.26",
+        "wget-1.19.4"
+    ]
+}
diff --git a/.dockerignore b/.dockerignore
@@ -0,0 +1,2 @@
+docker-nix-store
+**/.stack-work
diff --git a/.envrc b/.envrc
@@ -0,0 +1,5 @@
+echo "[dev-env] Setting up DA Development Environment"
+eval "$(dev-env/bin/dade assist)"
+
+# Load private overrides
+[[ -f .envrc.private ]] && source_env .envrc.private
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,4 @@
+CHANGELOG.md merge=union
+UNRELEASED.md merge=union
+
+*.daml linguist-language=Haskell
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -0,0 +1,94 @@
+# This file is used to automatically assign reviewers based on
+#    a) specific files
+#    b) subtrees in the repository
+
+# For more documentation, see the announcement and help page on github:
+# https://github.com/blog/2392-introducing-code-owners
+# https://help.github.com/articles/about-codeowners/
+
+# GitHub teams must also be added explicitly as contributors with WRITE access to the DACH-NY/da repository on github.com
+# Ask one of the github admin to add the team to https://github.com/DACH-NY/da/settings/collaboration
+
+* @DACH-NY/daml-infrastructure
+CODEOWNERS @DACH-NY/daml-infrastructure
+/.github @DACH-NY/daml-infrastructure
+/.vscode @DACH-NY/daml-infrastructure
+
+/ledger @DACH-NY/daml-runtime
+/ledger-client @DACH-NY/daml-runtime
+/ledger-api @DACH-NY/daml-runtime
+/ledger-tools @DACH-NY/daml-runtime
+
+/reference-apps @DACH-NY/daml-infrastructure
+
+/sdk @DACH-NY/daml-runtime @DACH-NY/daml-infrastructure
+
+/docs @DACH-NY/daml-docs
+
+/3rdparty @DACH-NY/tweag 
+/bazel_tools @DACH-NY/tweag
+/.bazelrc @DACH-NY/tweag
+/.bazelignore @DACH-NY/tweag
+/buck-core @DACH-NY/daml-infrastructure
+/.buckconfig @DACH-NY/daml-infrastructure
+/build-scripts @DACH-NY/daml-infrastructure
+/dev-env @DACH-NY/daml-infrastructure
+/hazel @DACH-NY/tweag
+
+/nix @DACH-NY/daml-infrastructure @DACH-NY/tweag
+/pipeline @DACH-NY/daml-infrastructure
+/replacements @DACH-NY/daml-infrastructure
+/rules_daml @DACH-NY/daml-infrastructure
+
+
+/daml-foundations @DACH-NY/daml-infrastructure @DACH-NY/daml-runtime
+/daml-foundations/ci @DACH-NY/daml-infrastructure
+/daml-foundations/da-haskell-tests @DACH-NY/daml-infrastructure
+/daml-foundations/daml-compiler @DACH-NY/daml-compiler-10 @DACH-NY/daml-ide
+/daml-foundations/daml-compiler/da-hs-daml-compiler-service @DACH-NY/daml-compiler-10 @DACH-NY/daml-ide
+/daml-foundations/daml-compiler/da-hs-daml-compiler @DACH-NY/daml-compiler-10
+/daml-foundations/daml-compiler/da-hs-daml-language-server @DACH-NY/daml-ide
+/daml-foundations/daml-compiler/da-hs-json-rpc @DACH-NY/daml-ide
+/daml-foundations/daml-compiler/da-hs-language-server @DACH-NY/daml-ide
+/daml-foundations/daml-compiler/da-hs-shake-in-memory @DACH-NY/daml-compiler-10 @DACH-NY/daml-ide
+/daml-foundations/daml-core-package @DACH-NY/daml-core-package
+/daml-foundations/daml-core-package/da-hs-daml-core/ @DACH-NY/daml-core-package
+/daml-foundations/daml-ghc @DACH-NY/daml-compiler
+/daml-foundations/daml-lf @DACH-NY/daml-engine
+/daml-foundations/daml-maven-plugin @DACH-NY/daml-packaging
+/daml-foundations/daml-research @DACH-NY/daml-research
+/daml-foundations/daml-stdlib @DACH-NY/daml-stdlib-10
+/daml-foundations/daml-test @DACH-NY/daml-compiler
+/daml-foundations/daml-tools @DACH-NY/daml-infrastructure
+/daml-foundations/daml-tools/da-daml-test-cases @DACH-NY/daml-engine
+/daml-foundations/daml-tools/da-docs-daml-user-guide @DACH-NY/daml-docs
+/daml-foundations/daml-tools/da-hs-compiler-tests @DACH-NY/daml-compiler-10
+/daml-foundations/daml-tools/da-hs-daml-cli @DACH-NY/daml-cli
+/daml-foundations/daml-tools/da-hs-daml-parser-cli @DACH-NY/daml-compiler-10
+/daml-foundations/daml-tools/da-hs-daml-renamer-cli @DACH-NY/daml-compiler-10
+/daml-foundations/daml-tools/da-hs-damlc-app @DACH-NY/daml-cli
+/daml-foundations/daml-tools/da-hs-damli-app @DACH-NY/daml-cli
+/daml-foundations/daml-tools/da-scala-lf-tests @DACH-NY/daml-engine
+/daml-foundations/daml-tools/daml-extension @DACH-NY/daml-ide
+/daml-foundations/daml-tools/daml-package-integration-test @DACH-NY/daml-packaging
+/daml-foundations/daml-tools/damli-jar @DACH-NY/daml-infrastructure
+/daml-foundations/daml-tools/docs @DACH-NY/daml-docs
+/daml-foundations/daml-tools/language-server-tests@DACH-NY/daml-ide
+/daml-foundations/haskell-libraries @DACH-NY/haskell-commons
+/daml-foundations/integration-tests @DACH-NY/daml-infrastructure
+/daml-foundations/scripts @DACH-NY/daml-infrastructure
+/daml-foundations/third-party @DACH-NY/daml-infrastructure
+
+# Architecture governed interfaces/APIs
+/ledger-api/grpc-definitions @DACH-NY/ledger-api
+/ledger/ledger-sync-api @DACH-NY/ledger-api
+/daml-lf/archive/da @DACH-NY/daml-engine
+/daml-foundations/daml-lf/spec @DACH-NY/daml-engine
+/daml-lf/transaction/src/main/protobuf @DACH-NY/daml-engine
+
+/ledger-bindings @DACH-NY/ledger-api-bindings
+/sdk/templates/example-ping-pong-reactive-java @DACH-NY/ledger-api-bindings
+/sdk/templates/example-ping-pong-reactive-components-java @DACH-NY/ledger-api-bindings
+/sdk/templates/example-ping-pong-grpc-java @DACH-NY/ledger-api-bindings
+
+/language-support/java @gerolf-da @nicholassmith-da
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,84 @@
+.DS_Store
+._.DS_Store
+.stack-work
+pkgs/*/.stack-work
+workspaces/*/.stack-work
+distribution-work
+.idea
+.envrc.private
+*.iml
+*.ipr
+*.iws
+.*.sw?
+.sw?
+*.pyc
+*.o
+*.hi
+dist/
+cache/
+target/
+target-sbt/
+build/
+result
+.project
+.build
+/ci-out/
+**/codex.tags
+/hscope.out
+._thesis.pdf
+\#*\#
+.\#*\#
+*.tix
+.da-*-gui-state
+/pkgs/generated
+TAGS
+tags
+/result-*
+**/.settings
+**/.classpath
+**/.factorypath
+*.tgz
+ghc-bindist
+*.result.xml
+**/.ensime
+**/.ensime_cache
+ensime.sbt
+pipelinePerformance.xml
+**/database_test.manifest
+.gradle/
+.ghci
+.ghcid
+*.log
+.buckd
+buck-out
+.buckconfig.local
+haskell-style-check.txt
+da-daml-equities-library.txt
+*.egg-info/
+.flattened-pom.xml
+*~
+*.orig
+sqlite
+venv
+trace.*.dat
+node_modules/
+/out/
+.hpc
+hpc-report/
+/results
+**/latency.csv
+**/summary-report.txt
+.scannerwork/
+**/dump-*.txt
+**/*tests.xml
+ledger-api/.bin
+*.db
+.vscode
+.m2/
+.history/
+### Bazel: https://www.gitignore.io/api/bazel ###
+/bazel-*
+.bazelrc.local
+.ijwb
+.bazelproject
+.bazel-cache
diff --git a/.hlint.yaml b/.hlint.yaml
@@ -0,0 +1,128 @@
+# HLint configuration file
+# https://github.com/ndmitchell/hlint
+##########################
+
+# To run HLint do:
+# $ hlint --git -j4
+
+# Warnings currently triggered by our code
+- ignore: {name: "Use <$>"}
+- ignore: {name: "Use :"}
+- ignore: {name: "Redundant do"}
+- ignore: {name: "Avoid lambda"}
+- ignore: {name: "Use newtype instead of data"}
+- ignore: {name: "Use fromMaybe"}
+- ignore: {name: "Use unless"}
+- ignore: {name: "Move brackets to avoid $"}
+- ignore: {name: "Eta reduce"}
+- ignore: {name: "Parse error"}
+- ignore: {name: "Reduce duplication"}
+- ignore: {name: "Use ++"}
+- ignore: {name: "Use list comprehension"}
+- ignore: {name: "Use lambda-case"}
+- ignore: {name: "Use $>"}
+- ignore: {name: "Use section"}
+- ignore: {name: "Use forM_"}
+- ignore: {name: "Use record patterns"}
+- ignore: {name: "Use camelCase"}
+- ignore: {name: "Use >=>"}
+- ignore: {name: "Use uncurry"}
+- ignore: {name: "Redundant lambda"}
+- ignore: {name: "Avoid lambda using `infix`"}
+
+# Warnings triggered by our code only very locally
+- ignore: {name: "Redundant if", within: DA.Service.Daml.Compiler.Impl.VersionCheck}
+- ignore: {name: "Redundant compare", within: DA.Daml.CSP}
+- ignore: {name: "Take on a non-positive", within: DA.Daml.Parser.Tests}
+- ignore: {name: "Use head", within: EDSL}
+- ignore: {name: "Redundant return", within: DA.Daml.Renamer.Check.Judge.Eq}
+- ignore: {name: "Redundant return", within: DA.Daml.Renamer.Check.Judge.Inst}
+- ignore: {name: "Redundant return", within: DA.Daml.Renamer.Check.Judge.Sub}
+- ignore: {name: "Redundant return", within: DA.Daml.LF.TypeChecker.Check.typeOfTupleProj}
+- ignore: {name: "Unused LANGUAGE pragma", within: Intero.GhciMonad}
+# Under Linux/MacOS, Foreign function interface language pragma is unused.
+- ignore: {name: Unused LANGUAGE pragma, within: DA.Sdk.Cli.System}
+
+# Condemn nub and friends
+- warn: {lhs: nub (sort x), rhs: Data.List.Extended.nubSort x}
+- warn: {lhs: nub, rhs: Data.List.Extended.nubOrd}
+- warn: {lhs: nubBy, rhs: Data.List.Extended.nubOrdBy}
+- warn: {lhs: Data.List.Extra.nubOn, rhs: Data.List.Extended.nubOrdOn}
+
+# DA specific hints
+- warn: {lhs: Data.Text.pack (DA.Pretty.renderPlain x), rhs: DA.Pretty.renderPlain x}
+- warn: {lhs: Data.Text.Extended.pack (DA.Pretty.renderPlain x), rhs: DA.Pretty.renderPlain x}
+- warn: {lhs: DA.Pretty.renderPlain (DA.Pretty.pretty x), rhs: DA.Pretty.renderPretty x}
+- warn: {lhs: Data.Text.readFile, rhs: Data.Text.Extended.readFileUtf8}
+- warn: {lhs: Data.Text.writeFile, rhs: Data.Text.Extended.writeFileUtf8}
+- warn: {lhs: Data.Text.Lazy.readFile, rhs: Data.Text.Extended.readFileUtf8}
+- warn: {lhs: Data.Text.Lazy.writeFile, rhs: Data.Text.Extended.writeFileUtf8}
+
+# Specify additional command line arguments
+#
+# - arguments: [--color, --cpp-simple, -XQuasiQuotes]
+
+- extensions:
+  - default: true
+
+  # Extensions enabled by `bazel` and `da-ghci` by default.  We ban them here
+  # to avoid useless pragmas piling up on the top of files.
+  - {name: BangPatterns, within: []}
+  - {name: DeriveDataTypeable, within: []}
+  - {name: DeriveFoldable, within: []}
+  - {name: DeriveFunctor, within: []}
+  - {name: DeriveGeneric, within: []}
+  - {name: DeriveTraversable, within: []}
+  - {name: FlexibleContexts, within: []}
+  - {name: GeneralizedNewtypeDeriving, within: []}
+  - {name: LambdaCase, within: []}
+  - {name: NamedFieldPuns, within: []}
+  - {name: PackageImports, within: []}
+  - {name: RecordWildCards, within: []}
+  - {name: ScopedTypeVariables, within: []}
+  - {name: StandaloneDeriving, within: []}
+  - {name: TupleSections, within: []}
+  - {name: TypeApplications, within: []}
+  - {name: ViewPatterns, within: []}
+
+  # Shady extensions
+  - {name: CPP, within: [DA.Sdk.Cli.System, DA.Sdk.Cli.Version]}
+  - {name: ImplicitParams, within: []}
+
+- flags:
+  - default: false
+  - {name: [-Wno-missing-signatures, -Wno-orphans, -Wno-overlapping-patterns, -Wno-incomplete-patterns, -Wno-missing-fields, -Wno-unused-matches]}
+
+# - modules:
+#   - {name: [Data.Set, Data.HashSet], as: Set} # if you import Data.Set qualified, it must be as 'Set'
+#   - {name: Control.Arrow, within: []} # Certain modules are banned entirely
+#
+# - functions:
+#   - {name: unsafePerformIO, within: []} # unsafePerformIO can only appear in no modules
+
+
+# Add custom hints for this project
+#
+# Will suggest replacing "wibbleMany [myvar]" with "wibbleOne myvar"
+# - error: {lhs: "wibbleMany [x]", rhs: wibbleOne x}
+
+
+# Turn on hints that are off by default
+#
+# Ban "module X(module X) where", to require a real export list
+# - warn: {name: Use explicit module export list}
+#
+# Replace a $ b $ c with a . b $ c
+# - group: {name: dollar, enabled: true}
+#
+# Generalise map to fmap, ++ to <>
+# - group: {name: generalise, enabled: true}
+
+
+# Ignore some builtin hints
+# - ignore: {name: Use let}
+# - ignore: {name: Use const, within: SpecialModule} # Only within certain modules
+
+
+# Define some custom infix operators
+# - fixity: infixr 3 ~^#^~
diff --git a/.scalafmt.conf b/.scalafmt.conf
@@ -0,0 +1,3 @@
+align = none # never align to make the fmt more diff friendly
+maxColumn = 100
+runner.fatalWarnings = true
diff --git a/.stylish-haskell.yaml b/.stylish-haskell.yaml
@@ -0,0 +1 @@
+dev-env/dotfiles/stylish-haskell.yaml