* Document how to add a new item in the table of contents
changelog_begin
changelog_end
* Add link to instructions to make changes to the next unreleased version
* Point to fixed GHC
* Fix daml-test-files for improved GHC errors
* Fix error message to match critical parts of improved GHC errors
* satisfy changelog
CHANGELOG_BEGIN
CHANGELOG_END
* point to updated GHC
* Point to updated GHC
* Fix damlc tests for new GHC error messages
* Point to updated GHC
* Rename test //daml-script/export/integration-tests/golden:{export-=>}values
* Switch 'daml_ledger_export_test' to use 'run' instead of 'run-legacy-cli-config'
* Extract 'encodeImports' from 'encodeModuleHeader'
* Sort import list in 'daml ledger export'
* Add 'dev' argument to 'daml_ledger_export_test'
* Add interfaceId to ExercisedSelector
* Extract 'encodeExercisedEvent' from 'encodeCmd'
* Split 'encodeCid' into 'encodeCid{Expr,Pat}'
* 'CreatedContract' field 'tplId' now has type 'TemplateId'
* Specialize CreatedContract{=>WithPath}
* 'treeEventCreatedConsumedCids' returns Seq[SimpleCreatedContract] instead of Set[ContractId]
* Change type of 'SimpleCommand' field 'contractId' to 'SimpleCreatedContract'
* Coerce ContractIds to underlying template type
* Use interface ContractId in encodeExercisedEvent if present
* Add test //daml-script/export/integration-tests/golden:interface-choices
* Fix encoding of getAnyChoiceTemplateTypeRep in daml-script converter
* Set getAnyChoiceTemplateTypeRep to interfaceId if available
* fromExercised uses choice instead of templateId to find subtree
fromExercised uses exercised.argument.templateTypeRep instead of exercised.contractId.templateId
Previously it used exercised.contractId.templateId, but now it uses
exercised.argument.getAnyChoiceTemplateTypeRep, which corresponds
to the TemplateTypeRep of the {template,interface} that defined the choice.
* TestData.Exercised now takes a more flexible TestData.Choice argument
* Add unit tests for encoding of exercise of interface choice
* Apply code review suggestions
* sealed {trait=>abstract class} CreatedContract
* Use List instead of Seq
* Use ::= instead of :+= and ++=
changelog_begin
- [Daml export] Added support for interface choices (#15189)
- [Daml export] Export.daml imports are now sorted alphabetically
changelog_end
Co-authored-by: Stephen Compall <stephen.compall@daml.com>
* InMemUserMngtImpl: Introducece custom in-mem user repr to better handle resource versions. Fix not updating isDeactivated property
* Generalize concurrent change control tests for users and party records
* Move backend files such that related localstore files are separated from other files
* Remove unneeded nesting in ParticipantParty object
* Document rights in revoke/grant requests as optional. More conformance tests for users rights
changelog_begin
changelog_end
I started with wanting to remove the warning on incomplete pattern
match, thinking example code should be "good". Then I decided I should
skim the corresponding docs to check if that warning, or the pragma,
were actually mentioned in the text.
It turns out the warning should be there, but the pragma is not
explained and not necessary to get the warning. So the pargma can go.
But in the process I noticed a couple things that I belive can be
improved in the wording of the document, so I went agead and made a few
changes.
CHANGELOG_BEGIN
CHANGELOG_END
* remove accessor references from the decision branches of extractor
CHANGELOG_BEGIN
CHANGELOG_END
* eta-reduce all recursively-summoned ValueDecoders
* add more whitespace
* Removed alias fetchcontracts.domain.TemplateId
CHANGELOG_BEGIN
CHANGELOG_END
* order
* Apply suggestions from code review
Co-authored-by: Stephen Compall <stephen.compall@daml.com>
* add comment for .template
* format
* todo
Co-authored-by: Stephen Compall <stephen.compall@daml.com>
* Fix `instance Show Text` to produce escaped Text (#15177)
This adapts the code used in GHC's 'instance Show Char where { showList }', representing characters as single-character
'Text's using a type synonym. CPP can be used during development to switch to a newtype-based implementation in order
to check type safety.
changelog_begin
- [Daml Standard Library] ``show @Text`` now escapes special characters, producing syntactically correct expressions (#15177)
changelog_end
* Add daml-test-file testing `show @Text`
* Avoid 'explode' in 'showLitChr'
* Cleanup 'showLitChr'
* Update DarReaderTest.scala
* Clean up import of GHC.Base
* Add Note for __DEBUG__SHOW_TEXT_CHR_NEWTYPE macro
* Extract longStringSize from longStringOf in daml-test-file ShowText.daml
* Document differences with GHC implementation
* Remove redundancy between showLitChr and {ascii=>ctrlChrText}
* Add 'exhaustive' test case in daml-test-file ShowText.daml
* Change 'ctrlChrText' default case to throw error
changelog_begin
changelog_end
By doing this change we are loosing some detailed test coverage, but preventing future spurious compatibility tests failures.
* [Trigger] refactor converter
This will ease versioning of trigger converter we will need to introduce interface support.
CHANGELOG_BEGIN
CHANGELOG_END
* Adress Carl's review
The original implementation forces the caller to always use Text as the error type. This is unnecessarily restrictive as the types can be polymorphic on the caller's side.
CHANGELOG_BEGIN
* [Stdlib] Generalize the (<?>) operator to support a generic type for Validation
CHANGELOG_END
* added transactionFilter
* move transactionFilter to `TransactionFilter`
* fromCreatedEvent
* format
* added getTransaction with contract type companion
* ACS using contract type companion
* position
* add change log
CHANGELOG_BEGIN
CHANGELOG_END
* Ct
* Ct
* format
* better exception
* fixed test cases
* added java doc and rename method to GetContracts
* address Stephen's comments
* address Stephen's comments
* address Stephen's comments
* remove unused import
* format
* address Stephen's comments
* address Stephen's comments
* Make some codegen code to be java 8 compatible; Modify IouMain to use the new getActiveContracts. to address Stephen's comments
* use 1.11, no need to be java 8 compatible
* revert
* 11 not 1.11
Addressing the missing word issue noticed by Craig, plus some additional improvements.
[CHANGELOG_BEGIN]
[CHANGELOG_END]
Co-authored-by: carrie-laben <91496516+carrie-laben@users.noreply.github.com>
@S11001001 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>
* Ensure interface generation uses package prefixes
CHANGELOG_BEGIN
- [BUGFIX] Interface generation now respects package prefixes argument. This means generated interfaces will now be placed in the right subpackages.
CHANGELOG_END
* Prove that we get an error if interface is generated in the wrong directory
Command: bazel build //language-support/java/codegen:test-daml-java.jar
Error:
bazel-out/darwin_arm64-opt/bin/language-support/java/codegen/_javac/test-daml-java.jar/libtest-daml-java.jar_tmp/blah/ut/retro/InterfaceRetro.java:24: error: cannot find symbol
public static final ChoiceMetadata<ut.retro.InterfaceRetro, Transfer, ut.retro.InterfaceRetro.ContractId> CHOICE_Transfer =
^
symbol: class InterfaceRetro
location: package ut.retro
bazel-out/darwin_arm64-opt/bin/language-support/java/codegen/_javac/test-daml-java.jar/libtest-daml-java.jar_tmp/blah/ut/retro/InterfaceRetro.java:24: error: package ut.retro.InterfaceRetro does not exist
public static final ChoiceMetadata<ut.retro.InterfaceRetro, Transfer, ut.retro.InterfaceRetro.ContractId> CHOICE_Transfer =
* Revert "Prove that we get an error if interface is generated in the wrong directory"
This reverts commit cc8612a8a3.
* add List, Optional, ContractId, TextMap primitive decoders
CHANGELOG_BEGIN
CHANGELOG_END
* add fromNumeric and fromGenMap
* generate less code for list, optional
* allow newline in assignment
* generate less code for contract ID
* generate less code for textmap
* generate less code for genmap
* use fromNumeric
* extra test for an indirect case
* javadoc fromTextMap, fromGenMap, impossible
* example of building value decoders with derived combinators
