15 Jan
2024
15 Jan
'24
6:09 a.m.
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