<div dir="ltr"><div>Wrt otherwise, yes, I also found that a bit confusing.</div><div><br></div><div>Ivan<br></div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Sun, 29 Dec 2024 at 10:58, Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org">ietf-dane@dukhovni.org</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 Sat, Dec 28, 2024 at 07:50:20PM -0500, Ben Gamari wrote:<br>
> Ivan Perez <<a href="mailto:ivanperezdominguez@gmail.com" target="_blank">ivanperezdominguez@gmail.com</a>> writes:<br>
> <br>
> > Following up on this.<br>
> ><br>
> > Would there be interest in improving HPC and adding these features?<br>
><br>
> Indeed David Binder is currently the one thinking most about HPC.<br>
> The general idea here sounds reasonable, although there is a some<br>
> design work needed to bridge the gap between the idea and a supportable,<br>
> user-facing feature.<br>
<br>
Indeed.  FWIW, this thread reminds me of a curiousity with HPC vs. case<br>
analysis involving "otherwise".<br>
<br>
    case foo of<br>
        X | ... -> ...<br>
          | otherwise -> ...<br>
<br>
HPC always flags incomplete coverage of "otherwise", because it always<br>
evaluated True! :-)<br>
<br>
-- <br>
    Viktor.<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>