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

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