Suppressing False Incomplete Pattern Matching Warnings for Polymorphic Pattern Synonyms

[Richard Eisenberg]

> On Oct 26, 2018, at 9:43 PM, Carter Schonwald <carter.schonwald at gmail.com> wrote:
> 
> ORDER of the abstracted constructors matters!

That's a very good point. So we don't have a set of sets -- we have a set of lists (where normal constructors -- which have no overlap -- would appear in the lists in every possible permutation).

Again, please don't take my set of lists too seriously from an implementation point of view. We clearly wouldn't implement it this way. But I want to use this abstraction to understand the shape of the problem and what an idealized solution might look like before worrying about implementation and syntax.

Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181028/808d61d8/attachment.html>