Performance of pattern synonyms

[Richard Eisenberg]

> On Feb 11, 2019, at 8:55 AM, Simon Peyton Jones <simonpj at microsoft.com> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190211/cdff8b2d/attachment.html>