With the removal of backpassing, will the record builder syntax still use : <-
?
(deleted)
Even though record builders also use the <-
symbol, they are not a form of backpassing.
We discussed some changes on what record builders desugar to, but I don’t know of any plans to change their syntax
I think we can revise the syntax at the same time as revising the sugar
Last updated: Jul 06 2025 at 12:14 UTC