Re: [ghc-steering-committee] #371: Stop treating ~ magically. Rec: weak accept

It sounds like we have enough support here to declare this accepted. I will do so now. Thanks, all! Richard

On May 10, 2021, at 1:57 AM, Spiwack, Arnaud wrote:

It's not a very concrete statement. I'll have to trust you on this.

I guess that if `~` doesn't get special parsing rules then it's an overridable name. This is good. And everything which can simplify the parser is welcome. So let me vote: aye.

On Tue, May 4, 2021 at 2:16 PM Richard Eisenberg mailto:rae@richarde.dev> wrote:

...

On Mar 31, 2021, at 10:29 AM, Spiwack, Arnaud mailto:arnaud.spiwack@tweag.io> wrote:

Those of us who have been involved in the parts of the compiler that are touched here: do you think this is a worthwhile simplification?

Yes, I think so. Every special widget in the language takes custom support, and this removes one. The implementation of `~` will still be somewhat special, but there's no reason the parsing, etc., needs to be.

Richard