Re: Performance of pattern synonyms

On Feb 11, 2019, at 8:55 AM, Simon Peyton Jones wrote:

What exactly is “the alternative compile-time implementation”?

In my response, I interpreted this to be macro-expansion, the alternative we discuss in the paper. The paper includes a nice discussion of how the semantics differs between what we currently have and macro-expansion. Richard