Could any of you point me to the description of the double dot record wild card syntax?
Like this one:
I cannot remember how I learnt it.
The Haskell version: 6.5.7. Record wildcards — Glasgow Haskell Compiler 9.1.20210216 User's Guide
In the tutorial it’s called “record punning” syntax:
We use Daml’s .. record punning syntax to avoid boilerplate code in the pure upgrade functions like upgradeUser. User{..} brings all the fields of the User template in scope and
daml.com
Learn Damlsmart contract Language - Interactive Learning Tutorials
Our interactive tutorials provide you with a pre-configured instance, accessible from your browser without any downloads or configuration.
What exactly are you looking for? You’ve already linked to the description of RecordWildCards which is what the feature is called in Haskell. We just inherit it from there so it should work exactly the same.
Yes, thank you, thought I can find it in the Daml docs somewhere
