Re: Wincomplete-uni-patterns and bidirectional patterns

Tom Ellis <[email protected]>
Newsgroups gmane.comp.lang.haskell.cafe
Message-ID <ZaUSZpjJdFoF4Q4S@cloudinit-builder> 
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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.