Pattern synonym thoughts

Thomas Miedema thomasmiedema at
Thu Feb 25 03:11:15 UTC 2016

> 1. If a pattern synonym is defined in the same module as one of the type
> constructors in the type of thing it matches, then it should be possible to
> export it "attached" to one or more of those constructors
Already implemented by Matthew Pickering, and will be in GHC 8.0.

I don't know about your second issue.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list