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

[Anthony Clayden]

On Fri, 27 Dec 2024 at 03:48, Brandon Allbery <allbery.b at gmail.com> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20241227/a919a334/attachment-0001.html>