GHC 9.2 records support #709
Description
Record Dot Syntax proposal landed in GHC 9.2. I expect some work will be needed to correctly (and beautifully) format the code using OverloadedRecordDot and OverloadedRecordUpdate extensions.
{{ message }}