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@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#complet...
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.