The original proposal called it RecordDotSyntax and the release notes say
Many changes in the area of records, including the new
RecordDotSyntax
but an extension with that name doesn’t actually seem to exist
% ghc-9.2 test12.hs
test12.hs:1:14: error: Unsupported extension: RecordDotSyntax
|
1 | {-# LANGUAGE RecordDotSyntax #-}
| ^^^^^^^^^^^^^^^
It seems that the extension is actually called OverloadedRecordDot. Is that right?