* Add test case
* Restart UniqSupply on every call of setupDamlGHC
changelog_begin
- [data-dependencies] Fixed an issue where packages with data-dependencies would get non-deterministic package ids (`#14936 <https://github.com/digital-asset/daml/issues/14936>`__).
changelog_end
* Compiler changes:
- add in ContractKeyWithMaintainersDefRef
- ensure compileModule compiles contract key lambdas for templates (and so allow contract keys to be extracted from contract instances)
CHANGELOG_BEGIN
CHANGELOG_END
* Improve error for wrong viewtypes
* Add tests for new viewtype errors
* satisfy changelog check
CHANGELOG_BEGIN
CHANGELOG_END
* Use strict foldl
* Update tests to be non-hyphenated
* Allow EExpectedViewType to define own article
* Use _TApps instead of _TypeSplitApp
* Remove hyphen from "type-constructor" in EExpectedViewType
* Add article to EExpectedViewType messages
* Improve EExpectedViewType errors for unexpected Type, add particle
* Fix tests for improved viewtype errors
* Give type signature for runApi
* Add InterfaceRetro.dar in daml-lf/tests
* Add failing test case
* Include interface packageId in usedPackages
changelog_begin
changelog_end
* Add 'damlc validate-dar' test case for interface definition
* Add failing 'damlc validate-dar' test cases for interface instances
* Remove instance MonoTraversable e (NameMap a) from Data.NameMap
* Add (orphan) instance MonoTraversable ModuleRef (NameMap a) in DA.Daml.LF.Ast.Optics
* Data.NameMap: remove runtime check on HOF name changes
changelog_begin
changelog_end
* include retro-implements in TS interface type decls
* split interface exercise test into two sub-tests
* test that contract ID conversion resolves
CHANGELOG_BEGIN
- [TypeScript codegen] Support for retroactive interface implementations
included. Choice inheritance is deprecated and `will be removed
<https://github.com/digital-asset/daml/issues/14893>`__; to invoke an
interface choice on a template-typed contract ID, convert it to an
interface-typed ID with *TemplateName*``.toInterface``.
CHANGELOG_END
Support /v1/query by interfaceID or a non-empty set of template ID's, fallback to in-memory for an interfaceId query.
Co-authored-by: Stephen Compall <stephen.compall@daml.com>
CHANGELOG_BEGIN
- [JSON API] /v1/query with a non-empty set of template ID’s or one interface ID
CHANGELOG_END
* Make InterfaceGuardedNotExtended error out with guard message
* Move ConvertM into own module, make convertPrim failable
* Error out when exerciseGuarded is called
* Remove _exerciseDefault, now unused
* Error at runtime if _exerciseInterfaceGuard called in <= LF 1.15
* Add InterfaceChoiceGuardFailedNotExtended - test guarded exercises error
* lint
* Satisfy changelog
CHANGELOG_BEGIN
CHANGELOG_END
* Only error on exerciseGuarded if extended interfaces are NOT supported
* Make convertPrim impure - handle strict errors by inserting runtime errs
* Use ifdef/else/endif instead of ifdef/endif/ifndef/endif
Co-authored-by: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>
Co-authored-by: Moisés Ackerman <6054733+akrmn@users.noreply.github.com>
* Add per interface choice context in serializability checks
* Update expected errors in daml-test-files
* Drop done todo
* Keep TyCon in InterfaceBinds
* Move convertInterface to top level
* convertInterface now returns a list of definitions
* Refactor convertInterface
* Create interface data type def in convertInterface
* Check for featureSimpleInterfaces in convertInterface
* Check for featureSimpleInterfaces in convertInterfaceInstance
* cleanup convertRequires
* Validate that an interface type constructor has no parameters
changelog_begin
changelog_end
how our release process works at the moment, this means we have to
create a new release on this side too, even though there is no code
change.
So it is totally expected at this point that the 2.3.4 line points to
the same commit as the 2.3.3 line, even though it looks a bit strange.
CHANGELOG_BEGIN
CHANGELOG_END
@carlpulley-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>
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
* 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