[Haskell-cafe] Configuring cabal to tell HPC to ignore certain functions

[Ivan Perez]

Wrt otherwise, yes, I also found that a bit confusing.

Ivan

On Sun, 29 Dec 2024 at 10:58, Viktor Dukhovni <ietf-dane at dukhovni.org>
wrote:

> On Sat, Dec 28, 2024 at 07:50:20PM -0500, Ben Gamari wrote:
> > Ivan Perez <ivanperezdominguez at gmail.com> writes:
> >
> > > Following up on this.
> > >
> > > Would there be interest in improving HPC and adding these features?
> >
> > Indeed David Binder is currently the one thinking most about HPC.
> > The general idea here sounds reasonable, although there is a some
> > design work needed to bridge the gap between the idea and a supportable,
> > user-facing feature.
>
> Indeed.  FWIW, this thread reminds me of a curiousity with HPC vs. case
> analysis involving "otherwise".
>
>     case foo of
>         X | ... -> ...
>           | otherwise -> ...
>
> HPC always flags incomplete coverage of "otherwise", because it always
> evaluated True! :-)
>
> --
>     Viktor.
> _______________________________________________
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20241229/723d0af3/attachment.html>