Performance of pattern synonyms

Richard Eisenberg rae at
Mon Feb 11 14:22:18 UTC 2019

> On Feb 11, 2019, at 8:55 AM, Simon Peyton Jones <simonpj at> 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list