Re: [Haskell-cafe] [ghc-proposals] Allow reserved identifiers as fields ...

On Fri, 27 Dec 2024 at 03:48, Brandon Allbery wrote:

The quote syntax has me vaguely wondering if there would be some interaction with OverloadedLabels, ...

Yes, OverloadedLabels is the thin end of the wedge. `#type` is already supported without quotes, and that's used as justification for `.type`. (But Labels starting upper case or with embedded spaces, etc aren't supported.) It's also something of a lexing/parsing disaster. ...

Indeed. Specifically all the developer tools are (I suspect) going to continue to treat `type` as a keyword (unless quoted). How does `blah.type` show in Visual Studio? This proposal doesn't for example include modifying HLS for the new context-awareness around reserved ids.