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

Malte Ott malte.ott at maralorn.de
Fri Nov 1 22:22:12 UTC 2024

Previous message: [ghc-steering-committee] Please review #673: Amendment to -jsem proposal #540
Next message: [ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2024-10-29 20:12, Adam Gundry wrote:
> https://github.com/ghc-proposals/ghc-proposals/pull/668

I’m in support.

Best
Malte

Previous message: [ghc-steering-committee] Please review #673: Amendment to -jsem proposal #540
Next message: [ghc-steering-committee] #668: Allow reserved identifiers as fields in OverloadedRecordDot, recommendation: accept
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the ghc-steering-committee mailing list