Right now, we're excluding specific DAML-LF versions. This is not great.
This PR changes it such that we can give a lower bound on the DAML-LF
version against which tests whould be run.
* language: feature: more general coercion handling
We translate coercions to pairs of lambdas instead of directly
translating casts. This allows us to also handle coercions constructed
with SymCo and AppCo.
* added a comment on the type of the created lambdas
* Split //daml-foundations/daml-ghc:daml-ghc-lib
Split into multiple separate targets to improve incremental compilation
speeds.
* daml-ghc-damldoc: Remove unnecessary dependency
The target only depended on a re-export, but did also depend on the
original source of that re-export. Skipping the re-export simplifies the
dependency graph.
* Separate source dirs for daml-ghc targets
* Fix daml-ghc README
The current naming suggests, the protobuf encoding and the CLI use different
textual representations of minor versions, which is not true. They only
differ in their types. We push this type conversion to the call sites
of both functions instead.
* language: fix: Check for module ... where clause.
We add a preprocessor check that makes sure the `module ... where`
clause is there. This fixes
https://github.com/digital-asset/daml/issues/1076.
* fixed shake ide test
We decided to set individual GitHub handles in the CODEOWNERS file and
to do so by letting people claim ownership in individual PRs. Thus, this
commit contains an initial version of the CODEOWNERS file that guards
that file, but leaves the full team with access to other files
initially.
Not all files in the root are explicitly listed, but they can be added
if someone wants to claim ownership of them.
* no var no problem
further refactor
introduced InfraState
a bit less vars
encapsulating closes
SandboxServer starts automatically
rebase fixup
collecting state into a single object
some cleanup
removing exposed materializer
LedgerBackend is closed in SandboxServer
changed ownership of Ledger
fixing perf tests
fixing some compile errors
formatting
removing unused method
fixing integration test to use correct dar file
fixing issue with PostgresFixture and SandboxResource
Fix integration tests on Windows
* fixing rebase artifacts
* Store divulgence info for contracts
* Store divulgence info for contracts
* some documenting refactors
* Use fail instead of sys.error in test
* Add release note
* Rename migration files
* Fix typo
* Fix updating divulgence info in scenarios
The ACS was comparing differently formatted contract IDs.
Fixes#1166
* stub away the components of LedgerValue
* rewrite v1 api converters to produce transaction Value ADT
* a needless 'case'
* shortcut methods for ImmArraySeq and tests
* porting extractor's JSON encoders to transaction Value
- JSON object ordering now matches record field order, instead of being
its reverse
- Includes a new encoding for records missing labels, to a list of
2-tuples
* porting extractor main transaction Value
- JSON date/time is just <num>s since epoch, maybe revisit
* adapt to Decimal newtype
* use daml-lf/data stringification for decimals in JSON
* snap aliases for Cid-less LedgerValue subtypes
* snap aliases for Cid-containing LedgerValue subtypes
* remove needless indirection
* test new missing-label Record JSON encoding
* write ImmArray traverse with syntax extension
* remove RecordField; move Name parsing to former RecordField converter
* remove -O option from curl command in order to pipe script contents to bash
* follow redirects for stackdriver
Co-Authored-By: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
Currently, we test the default and the newest DAML-LF version. After the
recent introduction of 1.dev, this doesn't make sense anymore. Instead, we
now test the default version (which should always be the newest version)
and the dev version.
* ledger-api-intgration-tests: Cleanup ledger ID handling.
This changes nothing in the logic of tests. It is a preparation for moving of
most of the tests to use Dynamic ledger ID mode for tests, which is a
preparation for running these tests against remote Ledger API endpoints.
* sandbox: Rework LedgerIdMode and move it up into common.
* Improve Windows installer
1. We now show a welcome page before starting the installation.
2. The installer now has an icon.
3. We show a finish page after installation has completed.
4. We detect existing suggestions and abort while mentioning
"daml install latest".
* Ask if existing installation should be removed
* Rename the #ifdef for GHC_STABLE
* More CPP required for GHC stable
* Add a compatibility wrapper for HIE functionality which is new in GHC HEAD
* HLint ignores
* Finish the dummy implementations
* Add a bazel build for the ide-core library against GHC
This is not the perfect fix since the definition `data TextMap` is still
living in the wrong module, see issue #1142. However, this PR forces people
to import `DA.TextMap` when they want to use the `TextMap` type, which is
the desired behaviour for the future.
- Set reasonable timeout. We want this to run once per hour, so it
should never run for longer than that.
- Fix gcp deploy command to target the right directory. That somehow got
lost in the manual changes between the PR and what I was manually
running on CI.
- Keep the not-found page intact, so as to not break 404 responses.
- Retry up to ten times to install nix packages, for each version. Nix
package download can be a bit flaky, especially when we download large
collections of packages (e.g. texlive), and Bazel is very unforgiving
towards flaky nix downloads so instead we now preload all the packages
before invokin Bazel.
* daml-lf: make Decimal type safe
* daml-lf: create Utf8String type
* daml-lf: cleanup in data package
* Address Stephen Comments
* daml-lf: remove UTF8String
