<div dir="ltr"><div dir="ltr"></div><div>Richard Eisenberg has videos on pattern synonyms where he adds a COMPLETE pragma to teach GHC that he is performing exhaustive/complete pattern matches, <a href="https://www.youtube.com/watch?v=SPC_R5nwFqo&t=397s">https://www.youtube.com/watch?v=SPC_R5nwFqo&t=397s</a>.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jan 15, 2024 at 7:09 AM Tom Ellis <<a href="mailto:tom-lists-haskell-cafe-2023@jaguarpaw.co.uk">tom-lists-haskell-cafe-2023@jaguarpaw.co.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Mon, Jan 15, 2024 at 12:00:16PM +0100, Olaf Klinke wrote:<br>
> How can I teach GHC 9 that the pattern is indeed exhaustive? <br>
<br>
Have you tried COMPLETE pragmas?<br>
<br>
<a href="https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pragmas.html#complete-pragmas" rel="noreferrer" target="_blank">https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pragmas.html#complete-pragmas</a><br>
<br>
Tom<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div></div>