Re: [ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept

1 Nov 2024


      On 2024-10-29 20:12, Adam Gundry wrote:
...
https://github.com/ghc-proposals/ghc-proposals/pull/668
I’m in support.

Best
Malte

Malte Ott