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
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.
1 Like
Yes, thank you, thought I can find it in the Daml docs somewhere