Commit Graph

10512 Commits

Author SHA1 Message Date
pbatko-da
07b30c23a1
Persistent stores for user management and party management supporting updates and concurrent change control [DPP-1198] (#14834)
Extend user store to support user modification with concurrent change control.
Make user's primary party modifiable and add isDeactivated modifiable attribute
Add user annotations.

Add party record store on par with user store.

changelog_begin
changelog_end
2022-08-31 15:38:54 +02:00
Stephen Compall
85f93f54a0
make exercise by interface contract ID safe (#14134)
* declare Interface, ToInterface, FromInterface in @daml/types library

* generate ToInterface and FromTemplate companion declarations

* add toInterface and unsafeFromInterface to template companion implementations

* declare marker types for every interface

* remove type parameter from interface companions' types

* add the union for forward implements

CHANGELOG_BEGIN
- [TypeScript codegen] To exercise an interface choice on a
  template-typed contract ID, you must now explicitly convert the
  contract ID to an interface-typed ID.  For example, where ``cid:
  ContractId<TemplateName>``, you can use
  ``TemplateName.toInterface(InterfaceName, cid)`` to produce a
  ``ContractId<InterfaceName>``.

  Interface contract IDs are also now typed as shown above; for example,
  the former type ``ContractId<InterfaceNameInterface<TemplateName>>``
  would now simply be ``ContractId<InterfaceName>``.
CHANGELOG_END
2022-08-31 09:25:53 -04:00
Stephen Compall
2b6289a259
enable interface view tests in api-type-signature (#14877)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-31 09:23:14 -04:00
Remy
15a77d691a
enable LF 1.15 LAPITT for canton (#14883)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-31 13:48:51 +02:00
Remy
ec3d080b49
add Bas as code owners of the compiler (#14712)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-31 11:51:17 +01:00
Chun Lok Ling
bb4a17e345
add test case (#14882)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-31 11:28:59 +01:00
azure-pipelines[bot]
00fe14c6a5
bump canton to 20220830 (#14879)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-08-31 12:15:46 +02:00
Chun Lok Ling
a29b95d38b
Test retro implements in java codegen (#14875)
* fixes #14822, added test case to ensure retroactive implements works in java code gen

CHANGELOG_BEGIN
CHANGELOG_END

* fixes #14822, added test case to ensure retroactive implements works in java code gen
* format
* address Stephen's comment
* fmt
2022-08-31 09:19:08 +01:00
Chun Lok Ling
2a01863c96
Test cases to ensure retroactive implements works in json-api (#14874)
* fixes #14821, added test case to ensure retroactive implements works in json-api

CHANGELOG_BEGIN
CHANGELOG_END

* address Stephen's comment
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-31 07:10:38 +01:00
dylant-da
804a0b7b9d
Reenable tests from #14773 #14770 / Add new tests for 1.15 (#14836)
* Squashed commit of the following:

commit fd04d54efffdd182b15ed5350ac190fd7e800f2c
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 29 14:46:19 2022 +0100

    lint

commit 117a3e1253cbede690127b66ee73a7ad7a75fd51
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 29 13:16:00 2022 +0100

    Temporarily disable isCompleted assertions - they appear to be too eager

commit a17e30b045affad557c1282b9c56229f64ab0d51
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 29 12:21:40 2022 +0100

    Remove unnecessary NotExtended tests, fix module names, reenable some

commit 075a62e6f263b86a342e887a0015cf0b812ad4e1
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 29 10:48:24 2022 +0100

    Remove InterfaceConversions - interface exercises are now Interface-only

commit 4b8a7b4a061ea740e5b72c06b99cf6eaced2315d
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 29 10:39:03 2022 +0100

    Update carbon test names for 1.dev suite test

commit 04e735223cc2c06fa3dd014538edcc5e4d5dd191
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 29 10:23:45 2022 +0100

    Point to 1.15 for carbon tests

commit 450e49479fc2daed3bc6a08234a95df8fe80382e
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 29 10:11:23 2022 +0100

    Move InterfaceSubscriptionsIT test to 1.15 folder

commit b1cd99d8074f789927d2e02b46a085fcd7a88319
Merge: 1dfdc2e7c5 f21b165c78
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 29 09:47:09 2022 +0100

    Merge remote-tracking branch 'origin/main' into dylan-lf-15-reenable-tests

commit 1dfdc2e7c503e9d798b60bc1279633295e50bb0c
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 25 16:58:37 2022 +0100

    Add NotExtended versions of all tests which use extended interfaces

commit 6398fa96c5c1d14dda1ff724d3d4b5de6301b97b
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 25 13:01:30 2022 +0100

    Make versions of tests that are NotExtended

commit c2daf05e134ab3d0d27d83a7ef24e07553b15c3e
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 25 12:20:03 2022 +0100

    Reenable disabled tests from #14770 / #14773

commit f390d37941
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 25 11:56:52 2022 +0100

    Remove 1.dev-only references from 1.15 protobuf

commit 87d6b540aa
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 25 11:36:08 2022 +0100

    Temporarily disable failing damlc tests

commit 05ea7bdb75
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 25 09:49:08 2022 +0100

    Update desugared daml for UExerciseInterface[Guarded] generation

commit 14fdd5f725
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 25 09:44:59 2022 +0100

    Run damlc interface tests w/o requires when since DAML_INTERFACE

commit d73c86df3f
Merge: 9a83d0776e 00705af419
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Wed Aug 24 16:35:31 2022 +0100

    Merge remote-tracking branch 'origin/main' into dylan-lf-15-minimal-distinguish-guards

commit 9a83d0776e
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Wed Aug 24 15:22:59 2022 +0100

    Exclude via $cexerciseGuarded check - ClassOpId approach did not work

commit b635dcd7cb
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Wed Aug 24 12:59:57 2022 +0100

    Add check for isId to splitDFunId

commit dcfa1e0ebf
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Wed Aug 24 11:43:19 2022 +0100

    Remove all instances of guarded exercises in versions <= 1.15

commit b0985ccdbd
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 23 13:10:15 2022 +0100

    Remove guarded exercise when Extended Interfaces are not enabled

commit 125280ca60
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 15:33:55 2022 +0100

    Clarify purpose of `Maybe Expr` type for exercise guard

    Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

commit 50cff3004b
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 15:32:17 2022 +0100

    Remove unnecessary mention of v1_14 from supportedInputVersions

    Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

commit 89744ef341
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 15:31:04 2022 +0100

    Rename interface features

    Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

commit c173799c47
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 15:23:13 2022 +0100

    Attach correct range to guard support error (if any)

    Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

commit c41f8480ed
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 18 12:57:28 2022 +0100

    Update to new GHC revision, removes pred argument from `exercise`

commit d9dfe87252
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 16 12:06:04 2022 +0100

    Desugar UExerciseInterface[Guarded] differently, point to updated GHC

commit dd0ac96dcd
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 16 12:05:53 2022 +0100

    Make exercise guards nullable, ignore Nothing in decode/encode

commit 53e23fac26
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 23 13:13:09 2022 +0100

    lint

commit abf5267051
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 23 12:50:04 2022 +0100

    Move InterfaceSubscriptionsIT test back into 1.dev suite

commit c2d1499747
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 23 12:00:17 2022 +0100

    Use dictionary comprehension to generate ledger/test-common test_names

commit 0d5f167fc6
Merge: 0242452662 ec4c86ac2d
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 23 10:27:21 2022 +0100

    Merge remote-tracking branch 'origin/main' into dylan-lf-15-minimal

commit 0242452662
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 23 10:26:29 2022 +0100

    Temporarily disable decode extended interface primitives test

commit b17ca7f03c
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 16:26:10 2022 +0100

    lint

commit ceaca2b0f6
Merge: c11eb08083 95d00c4e8a
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 16:12:43 2022 +0100

    Merge remote-tracking branch 'origin/main' into dylan-lf-15-minimal

commit c11eb08083
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 15:20:50 2022 +0100

    Disable PureConfigReaderWriter tests that assume early-access == stable

commit 03734d2f23
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 14:02:55 2022 +0100

    Also disable conformance-test-tls1.2-or-newer-1.15

commit e683ea3d7c
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 14:00:45 2022 +0100

    Temporarily disable 1.15 conformance tests - handle in another PR

commit 6fb140b0b6
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 13:59:58 2022 +0100

    lint

commit 65531fe577
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 22 11:00:41 2022 +0100

    Run retroactive implements tests only in extended interfaces

commit edf20bf4a7
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Fri Aug 19 17:48:39 2022 +0100

    Fix StableVersions back to 1.14, make EarlyAccessVersions 1.15

commit 12818dc58f
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Thu Aug 18 18:06:36 2022 +0100

    Allow unsafe_from_interface and interface_template_type_rep in 1.15

commit ff7271de1a
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Fri Aug 19 10:55:40 2022 +0100

    Update tests with extended interface features to only run on 1.dev

commit 9558feaec8
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Fri Aug 19 16:47:19 2022 +0100

    satisfy changelog check

    CHANGELOG_BEGIN
    CHANGELOG_END

commit 337cc25b7a
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Wed Aug 17 16:36:45 2022 +0100

    Fix InterfaceNotSupported message to 1.15 or higher

commit 4282ae396b
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 16 17:41:15 2022 +0100

    Move v1_15 ledger-api-tests into own suite

commit ac3d0a9f25
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Fri Aug 19 15:18:41 2022 +0100

    Reinclude 1.15 in COMPILER_LF_VERSIONS to build model-tests-1.15

commit 718879020d
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Fri Aug 19 14:43:35 2022 +0100

    Add 1.15 test suite to testtool

commit a6fd63d3d9
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Fri Aug 19 14:43:23 2022 +0100

    Add 1.15 as preview version

commit f5c48ddc99
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Fri Aug 19 14:43:12 2022 +0100

    Make 1.14 default again

commit b9527c1136
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Wed Aug 17 14:23:16 2022 +0100

    Update Version 1.15 changelog with Call/implements

commit 9cecad5205
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Wed Aug 17 11:24:49 2022 +0100

    Add Tests file for 1.15 in ledger API testtool

commit cde583d08d
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 16 16:41:58 2022 +0100

    Remove references to dev from 1.15 protobufs

commit 904da5679b
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 16 13:04:19 2022 +0100

    Stage 1.15 protobuf

commit 196fa6a3cf
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Tue Aug 16 11:54:20 2022 +0100

    Update Ast/Version & docs for 1.15, split interface into simple/extended

commit 1c58421f2d
Author: Dylan Thinnes <dylan.thinnes@digitalasset.com>
Date:   Mon Aug 15 13:05:37 2022 +0100

    Add version 1.15 - move interfaces into them

* API-test-tool: add InterfaceSubscriptionsIT to LF 1.15 tests

CHANGELOG_BEGIN
CHANGELOG_END

* fix bug

* Add version 1.15 - move interfaces into them

* Update Ast/Version & docs for 1.15, split interface into simple/extended

* Make 1.14 default again

* Update tests with extended interface features to only run on 1.dev

* Fix StableVersions back to 1.14, make EarlyAccessVersions 1.15

* Run retroactive implements tests only in extended interfaces

* Disable PureConfigReaderWriter tests that assume early-access == stable

* lint

* Move InterfaceSubscriptionsIT test back into 1.dev suite

* lint

* Remove unnecessary mention of v1_14 from supportedInputVersions

Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

* Run damlc interface tests w/o requires when since DAML_INTERFACE

* Temporarily disable failing damlc tests

* Reenable disabled tests from #14770 / #14773

* Move InterfaceSubscriptionsIT test to 1.15 folder

* Remove InterfaceConversions - interface exercises are now Interface-only

* Re-enable assertEquals

* Modify PureConfigReaderWriterSpec to account for stable != early-access

* Disable conformance tests

* Disable on-canton conformance_test instead

* Remove InterfaceTypeRepCheck - all exercises are on interface now

* Fix UpcastDowncast tests

* Fix DowncastUpcast 1.15 test, convert assets to token in Guarded test

* Move typerep/unsafeFromInterface decode tests to basic interfaces

* Fix desugared daml for damlc test changes

* Reintroduce InterfaceConversions - remove impossible exercise

This reverts commit 075a62e6f263b86a342e887a0015cf0b812ad4e1.

* Reintroduce InterfaceTypeRepCheck - fix test to use T2Choice

This reverts commit d8a0a7f299.

* Run InterfaceTypeRepCheck for LF 1.15

Co-authored-by: Remy Haemmerle <Remy.Haemmerle@daml.com>
Co-authored-by: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>
2022-08-30 13:58:31 +00:00
Remy
7f4aefd09a
Fix conformance test for canton dev (#14866)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-30 15:52:39 +02:00
tudor-da
7f3552f87e
[ED] Implement usage of disclosed contracts in command interpretation [DPP-1096] (#14851)
* Implement usage of disclosed contracts in command interpretation
* NOTE: No actual disclosed contracts can be passed at this point
since command validation disallows it

changelog_begin
changelog_end

* Update ledger/participant-integration-api/src/test/suite/scala/platform/apiserver/execution/ResolveMaximumLedgerTimeSpec.scala

Co-authored-by: Sergey Kisel <98825453+skisel-da@users.noreply.github.com>

* Update ledger/participant-integration-api/src/test/suite/scala/platform/apiserver/execution/ResolveMaximumLedgerTimeSpec.scala

Co-authored-by: Sergey Kisel <98825453+skisel-da@users.noreply.github.com>

Co-authored-by: Sergey Kisel <98825453+skisel-da@users.noreply.github.com>
2022-08-30 11:37:15 +00:00
Stefano Baghino
8b962e36b8
Improvements to the HTTP JSON API service docs (#14863)
changelog_begin
changelog_end

1. Document that the fetch-by-contract-ID endpoint can take a template ID
2. Reinforce the point made in #14601 and always specify the package ID
2022-08-30 12:22:51 +02:00
azure-pipelines[bot]
c78a6c6570
update NOTICES file (#14861)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-08-30 10:50:09 +02:00
Stefano Baghino
d390f1e948
Temporarily remove @victormueller-da from release rotation (#14862)
changelog_begin
changelog_end
2022-08-30 08:03:05 +00:00
pbatko-da
17c1307c67
In memory stores for party record and user management to support update operations [DPP-1198] (#14812)
changelog_begin
changelog_end
2022-08-30 09:58:24 +02:00
azure-pipelines[bot]
3199d6d5ac
bump canton to 20220829 (#14860)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-08-30 09:32:52 +02:00
Moisés Ackerman
e1b46f4384
Cleanup daml-doc (#14857)
* Add newtype for interface viewtype docs

* Change type of InterfaceDoc field if_viewtype to Maybe InterfaceViewtypeDoc

* Extract interface viewtype in distributeInstanceDocs

changelog_begin
changelog_end
2022-08-30 09:20:53 +02:00
Remy
4622de48bd
API-test-tool: add InterfaceSubscriptionsIT to LF 1.15 tests (#14800)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-30 09:20:22 +02:00
Stephen Compall
99a48557d3
deprecate interface library names; use new names downstream (#14856)
* new names in daml-script/runner

* new names in json-api

* new names in Scala bindings/codegen

* new names in Java bindings/codegen

* new names in daml-lf interpreter tests

* more new names in daml-script tests

* new names in navigator backend

* deprecate all iface symbols and old method names

CHANGELOG_BEGIN
- [Scala API] ``com.daml.lf.iface`` has been deprecated, as discussed
  further in
  `issue #14783 <https://github.com/digital-asset/daml/pull/14783>`__.
  Use the deprecation warnings as guidance to the new names.
CHANGELOG_END

* prefix cases in OrderingSpec

- suggested by @remyhaemmerle-da; thanks
2022-08-29 20:43:47 +00:00
Stephen Compall
6236c8cc02
propagate template/interface ID distinction throughout JSON API (#14728)
* percolate Resolved/Definite status

* propagate resolution through the queries, DB updates, and domain resolutions

* include Definite in the definition of Resolved, everywhere

CHANGELOG_BEGIN
CHANGELOG_END
2022-08-29 15:41:20 +00:00
Moisés Ackerman
3ac7d87498
Monomorphize interface methods and choices (#14853)
* Update ghc rev

* Update daml-test-file InterfaceGuarded

* Add daml-test-files for interface method and choice monomorphicity

* Update daml-test-files *.EXPECTED.desugared-daml

* Update daml-test-files *.EXPECTED.{md,rst}

* Fix data-dependencies tests

* Fix ide test

* Update code-snippets-dev/Interfaces.daml

* Update interface reference docs to reflect monomorphic methods and choices

* Apply suggestions from code review

changelog_begin
changelog_end

Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
2022-08-29 16:24:35 +02:00
Remy
45bfb26ade
LF clean up proto snapshot of LF 1.15 (#14799)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-29 10:40:19 +00:00
azure-pipelines[bot]
a848a41d8e
update NOTICES file (#14852)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-08-29 12:05:45 +02:00
Meriam Lachkar
3c3a8f874d
document how to enable dev on both Daml and Canton (#14838)
* document how to enable dev on both Daml and Canton

changelog_begin
changelog_end

* Update docs/source/daml/reference/interfaces.rst

Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>

* Update docs/source/daml/reference/interfaces.rst

Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>

* Update docs/source/daml/reference/interfaces.rst

Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>

* Update docs/source/daml/reference/interfaces.rst

Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>

* change the link reference to a ref

Co-authored-by: carrielaben-da <91496516+carrielaben-da@users.noreply.github.com>
Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
2022-08-29 11:01:50 +02:00
azure-pipelines[bot]
f21b165c78
bump canton to 20220826 (#14847)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-08-29 10:12:17 +02:00
pbatko-da
db5966574a
Add base class for persistent store tests. Add such test for PersistentUserManagementStore [DPP-1198] (#14793)
changelog_begin
changelog_end
2022-08-26 15:01:34 +02:00
Sergey Kisel
53c5291e89
Adding metrics to interface subscription related execution paths [DPP-1151] (#14808)
* Adding metrics to interface subscription related execution paths [DPP-1151]

CHANGELOG_BEGIN
CHANGELOG_END
2022-08-26 08:30:41 +02:00
Chun Lok Ling
47216d1f1a
Pass retroImplements from Ast.DefInterface to DefInterface (#14843)
* pass retroImplements from Ast.DefInterface to DefInterface and addted test case

CHANGELOG_BEGIN
CHANGELOG_END

* added todo

CHANGELOG_BEGIN
CHANGELOG_END

* fixed findTemplate , added test cases

CHANGELOG_BEGIN
CHANGELOG_END

* add test data

CHANGELOG_BEGIN
CHANGELOG_END

* add copyright

CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 23:53:01 +01:00
azure-pipelines[bot]
e0ca74bdd6
rotate release duty after 2022-08-24 (#14804)
@basvangijzel-DA is taking care of [testing](https://github.com/digital-asset/daml/blob/main/release/RELEASE.md) today's release, so they get pushed back to the end of the line.

Please do not merge this before the release is fully tested.

CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-08-25 20:32:24 +01:00
atriantafyllos-da
cde5de6d01
Fixes error message for HMAC256Verifier. (#14839)
Fixes error message for HMAC256Verifier.

CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 19:00:36 +02:00
dylant-da
4f4aa63fde
Change ghc version to point to merged distinguish guards commit in GHC (#14840)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 14:37:51 +00:00
dylant-da
6ece737e46
Desugar guards compatibly with 1.15/1.dev split (#14773)
* Add version 1.15 - move interfaces into them

* Update Ast/Version & docs for 1.15, split interface into simple/extended

* Stage 1.15 protobuf

* Remove references to dev from 1.15 protobufs

* Add Tests file for 1.15 in ledger API testtool

* Update Version 1.15 changelog with Call/implements

* Make 1.14 default again

* Add 1.15 as preview version

* Add 1.15 test suite to testtool

* Reinclude 1.15 in COMPILER_LF_VERSIONS to build model-tests-1.15

* Move v1_15 ledger-api-tests into own suite

* Fix InterfaceNotSupported message to 1.15 or higher

* satisfy changelog check

CHANGELOG_BEGIN
CHANGELOG_END

* Update tests with extended interface features to only run on 1.dev

* Allow unsafe_from_interface and interface_template_type_rep in 1.15

* Fix StableVersions back to 1.14, make EarlyAccessVersions 1.15

* Run retroactive implements tests only in extended interfaces

* lint

* Temporarily disable 1.15 conformance tests - handle in another PR

* Also disable conformance-test-tls1.2-or-newer-1.15

* Disable PureConfigReaderWriter tests that assume early-access == stable

* lint

* Temporarily disable decode extended interface primitives test

* Use dictionary comprehension to generate ledger/test-common test_names

* Move InterfaceSubscriptionsIT test back into 1.dev suite

* lint

* Make exercise guards nullable, ignore Nothing in decode/encode

* Desugar UExerciseInterface[Guarded] differently, point to updated GHC

* Update to new GHC revision, removes pred argument from `exercise`

* Attach correct range to guard support error (if any)

Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

* Rename interface features

Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

* Remove unnecessary mention of v1_14 from supportedInputVersions

Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

* Clarify purpose of `Maybe Expr` type for exercise guard

Co-Authored-By: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>

* Remove guarded exercise when Extended Interfaces are not enabled

* Remove all instances of guarded exercises in versions <= 1.15

* Add check for isId to splitDFunId

* Exclude via $cexerciseGuarded check - ClassOpId approach did not work

* Run damlc interface tests w/o requires when since DAML_INTERFACE

* Update desugared daml for UExerciseInterface[Guarded] generation

* Temporarily disable failing damlc tests

* Remove 1.dev-only references from 1.15 protobuf

Co-authored-by: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>
2022-08-25 14:20:03 +01:00
atriantafyllos-da
cba5068769
Respect leeway parameters also in the manual JWT verification [DPP-1145]. (#14676)
Respect leeway parameters in the manual JWT verification [DPP-1145].

CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 15:13:32 +02:00
Matthias Schmalz
7728d61565
Ignore non-singleton subtypes of ErrorCode when creating error code documentation. (#14829)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 14:59:42 +02:00
Sergey Kisel
fe703c6c67
Conformance test for Interface subscriptions with retroactive interfaces [DPP-1175] (#14807)
Conformance test for Interface subscriptions with retroactive interfaces [DPP-1175]

CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 12:32:10 +00:00
Remy
0f662a66a9
LF: simplify error about unserializability of view (#14803)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 09:53:03 +00:00
Chun Lok Ling
51ce902e6e
14796 front end change (#14811)
* added graphql resolve field

CHANGELOG_BEGIN
CHANGELOG_END

* render interface prefix; add interface in the route path; added graphql resolve field

* pass in interface id if the choice exercised via interface

* render interface choice in popup when click wrench icon
2022-08-25 10:42:31 +01:00
Moisés Ackerman
1a90e9c117
Extend daml-doc to support retroactive interface instances and viewtypes (#14774)
* Add daml-doc EXPECTED.{md,rst} files for QualifiedInterface.daml

* Add daml-doc EXPECTED.{md,rst} files for {,Qualified}RetroactiveInterfaceInstance.daml

* 'implements' in templates are now rendered as 'interface instance's

* Update daml-test-files {,Qualified}Interface.daml EXPECTED daml-doc output

* daml-doc now includes interface instances in interfaces

* Update daml-test-files {,Qualified}RetroactiveInterfaceInstance.daml EXPECTED daml-doc

* Add daml-doc test case for interface instance in interface

* Generalize runDamldoc to runDamldocMany

* Generalize damldocExpect to damldocExpectMany

* Add daml-doc test cases for qualified interface instance anchors

* Extract interface viewtypes in daml-doc

* Render interface viewtypes in daml-doc

* Update EXPECTED daml-doc for daml-test-files with interface viewtypes

* Add comment for use of partial function (Data.Map.Strict.!)

changelog_begin
changelog_end
2022-08-25 09:30:44 +00:00
mziolekda
31cc435331
small corrections in the specification of the lf transaction (#14827)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 10:16:41 +02:00
Remy
5a07b6596f
LF: check viewtype is a monomorphic record (#14802)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-25 10:02:13 +02:00
Moisés Ackerman
d1c0cff106
Fix for interface instance of interface from data-dependency (#14813)
* Add failing test cases

* fix unhandled string in convertTemplateTyCon

* data-dependencies: Add DamlTemplate context on template data declarations

changelog_begin
changelog_end
2022-08-25 09:50:24 +02:00
Rafael Guglielmetti
00705af419
Add retry in ISTransactionsSubscribeBeforeTemplateCreated (#14809)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-24 16:53:20 +02:00
Chun Lok Ling
f0686d44c6
Load interface and interface instance from packages in the Ledger (#14757)
* Added internal interface case class

CHANGELOG_BEGIN
CHANGELOG_END

* resolveRetroImplements WIP

* remove not used def

* added astInterfaces in PackageRegistry

* provide implementedInterfaces set

* Use def from interface library to resolve choice interface and retroactive implements

* use resolvedChoices instead of directChoices to get resolved choices from template.

* renming AstInterface -> Interface

* Address Stephen's comment

* format
2022-08-24 15:39:28 +01:00
azure-pipelines[bot]
d8874a3ae2
bump canton to 20220823 (#14805)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-08-24 10:21:52 +02:00
Sergey Kisel
480554e653
Check if package metadata view initialisation takes too long [DPP-1160] (#14782)
* Check if package metadata view initialisation takes too long [DPP-1160]

CHANGELOG_BEGIN
CHANGELOG_END
2022-08-24 05:59:10 +00:00
Sergey Kisel
1ab1605948
Make test not fail if package has been uploaded already [DPP-1159] (#14798)
CHANGELOG_BEGIN
CHANGELOG_END
2022-08-23 21:11:51 +02:00
Stephen Compall
f43bc5c8d1
use new api-type-signature names in some dependents (#14785)
* use new names in json-api

* use new names in java codegen

* use new names in Scala codegen

* use new names in TypedValueGenerators

CHANGELOG_BEGIN
CHANGELOG_END
2022-08-23 17:52:10 +00:00
azure-pipelines[bot]
d74240af2b
update compat versions (2022-08-23) (#14788)
CHANGELOG_BEGIN
CHANGELOG_END

Co-authored-by: Azure Pipelines Daml Build <support@digitalasset.com>
2022-08-23 17:59:40 +02:00
Simon Maxen
e7fc7019f8
Patch issue with loading community metering key from classpath (#14797)
* Patch issue with loading community metering key from classpath

changelog_begin
changelog_end
2022-08-23 17:59:08 +02:00