ipso icon indicating copy to clipboard operation
ipso copied to clipboard

Field punning for record creation

Open LightAndLight opened this issue 3 years ago • 1 comments

Example:

let x = 1 in
let y = 2 in
let z = 3 in
{ x, y, z }

should desugar to:

let x = 1 in
let y = 2 in
let z = 3 in
{ x = x, y = y, z = z }

LightAndLight avatar Nov 24 '22 21:11 LightAndLight

Bump; I found myself expecting this today.

LightAndLight avatar Jan 05 '24 20:01 LightAndLight