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