Re: Wincomplete-uni-patterns and bidirectional patterns
Jesse Rudel <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <CADe=JVxbEG2RqAHPt9NbCbH4h31AbHxwX_JRVvkmyzW_gBm1Mg@mail.gmail.com> |
Richard Eisenberg has videos on pattern synonyms where he adds a COMPLETE pragma to teach GHC that he is performing exhaustive/complete pattern matches, https://www.youtube.com/watch?v=SPC_R5nwFqo&t=397s. On Mon, Jan 15, 2024 at 7:09 AM Tom Ellis < [email protected]> wrote: > On Mon, Jan 15, 2024 at 12:00:16PM +0100, Olaf Klinke wrote: > > How can I teach GHC 9 that the pattern is indeed exhaustive? > > Have you tried COMPLETE pragmas? > > > https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pragmas.html#complete-pragmas > > Tom > _______________________________________________ > Haskell-Cafe mailing list > To (un)subscribe, modify options or view archives go to: > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > Only members subscribed via the mailman list are allowed to post. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.