Re: [ghc-proposals] Allow reserved identifiers as fields ...
Anthony Clayden <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <CABU_mxhCUyEha2i=hHRGosM6OiN9nSTibQPuGgQsOrs9wyA6LQ@mail.gmail.com> |
On Fri, 27 Dec 2024 at 03:48, Brandon Allbery <[email protected]> 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. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.