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.