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

Wrt otherwise, yes, I also found that a bit confusing. Ivan On Sun, 29 Dec 2024 at 10:58, Viktor Dukhovni wrote:

On Sat, Dec 28, 2024 at 07:50:20PM -0500, Ben Gamari wrote:

...

Ivan Perez 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.