[Haskell-cafe] Wincomplete-uni-patterns and bidirectional patterns

[Jesse Rudel]

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 <
tom-lists-haskell-cafe-2023 at jaguarpaw.co.uk> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20240115/a7b40e93/attachment.html>