Moisés Ackerman

Remove template-local binding syntax ("template-let")

2

Relates to https://github.com/digital-asset/daml/issues/13470 Only to be merged after release of https://github.com/digital-asset/daml/issues/17262

Can we achieve something similar for the scala Runner tests? (https://github.com/digital-asset/daml/blob/main/daml-script/test/src/com/digitalasset/daml/lf/engine/script/test/Daml2ScriptTestRunner.scala) _Originally posted by @samuel-williams-da in https://github.com/digital-asset/daml/issues/18113#issuecomment-1883337954_

Improve `No instance for (Action Commands) arising from a do statement` error messages

4

When a user accidentally writes a `do` expression of type `Commands` that doesn't fit the patterns accepted by [`ApplicativeDo`](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/applicative_do.html) (e.g. a statement depends on the result of a previous statement...

IDE breaks on modules with `{-# LANGUAGE CPP #-}`

1

When opening a daml module that uses the `CPP` pragma, a red underline will appear at the bottom of the file, and the "Problems" tab will show the error "Main.daml:...

While working on https://github.com/digital-asset/daml/issues/17729, I noticed that the key used in a `fetchByKey` doesn't appear in the transaction view if the transaction that contains the `fetchByKey` failed. This is also...

Type-on-hover for type constructors shows linear arrows even if `-XLinearTypes` is not enabled

7

This is probably confusing for newcomers and those who don't know about `LinearTypes`, even if technically correct according to the user's guide > By default, all fields in algebraic data...

The following query https://hoogle.haskell.org/?hoogle=MonadTrans%20%2Btransformer shows no results, even though `MonadTrans` is definitely in the `transformers` package. Cf https://hoogle.haskell.org/?hoogle=lift%20%2Btransformers which does show the single method of said class. Perhaps Hoogle gets...

[[google doc] Upgrading v3](https://docs.google.com/document/d/1JFCwoPor5vhgk_Y0-fzY__1wNzrBIOR__ZgWK6dcFOQ) [[google doc] Upgrading v3 - Compiler team notes](https://docs.google.com/document/d/1nvJ4PacVVzJatxnX3pAmKlyzrCl8bK-Zd5wfal7wa8I) - [ ] #16152 - [ ] #16153 - [x] #16154 - [x] #16155 - [ ] #16156

`createCmd <interface value>` crashes at runtime

3

In SDK 2.4.2, `createCmd : Template t => t -> Commands (ContractId t)` only accepts templates because the definition of class `Template` before #15347 required `HasAgreement`, which interfaces do not...

[WIP] Extending `NodeSeedsTest`

2

This PR seeks to extend our test cases related to transaction projection and metadata computation https://github.com/digital-asset/daml/issues/17559 https://github.com/DACH-NY/canton/issues/14712