<html><head></head><body><div class="ydp5806ccceyahoo-style-wrap" style="font-family:courier new, courier, monaco, monospace, sans-serif;font-size:13px;"><div></div>
        <div dir="ltr" data-setdir="false">One can also put this at the top:</div><div dir="ltr" data-setdir="false"><br></div><div dir="ltr" data-setdir="false"><div><div>{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}</div><div><br></div></div></div>
        
        </div><div id="yahoo_quoted_5547755265" class="yahoo_quoted">
            <div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
                
                <div>
                    On Thursday, January 26, 2023 at 12:24:49 AM EST, Kazu Yamamoto (山本和彦) via Haskell-Cafe <haskell-cafe@haskell.org> wrote:
                </div>
                <div><br></div>
                <div><br></div>
                <div><div dir="ltr">Hi David,<br clear="none"><br clear="none">> It seems to me that instead of working around this, we should add a pragma<br clear="none">> to suppress the warning at the pattern site. Maybe something like<br clear="none">> <br clear="none">> let<br clear="none">>   {-# PARTIAL_MATCH #-}<br clear="none">>   Just a = blah blah<br clear="none">> <br clear="none">> That way GHC can see that you noticed the partial match and that you're<br clear="none">> okay with it.<br clear="none"><br clear="none">This sounds lovely to me!<div class="yqt2976823881" id="yqtfd39761"><br clear="none"><br clear="none">--Kazu<br clear="none"><br clear="none"><br clear="none">_______________________________________________<br clear="none">Haskell-Cafe mailing list<br clear="none">To (un)subscribe, modify options or view archives go to:<br clear="none"><a shape="rect" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br clear="none">Only members subscribed via the mailman list are allowed to post.</div></div></div>
            </div>
        </div></body></html>