On May 10, 2021, at 1:57 AM, Spiwack, Arnaud <arnaud.spiwack@tweag.io> 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 <rae@richarde.dev> wrote:

On Mar 31, 2021, at 10:29 AM, Spiwack, Arnaud <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