[Haskell-cafe] Configuring cabal to tell HPC to ignore certain functions
Viktor Dukhovni
ietf-dane at dukhovni.org
Sun Dec 29 18:57:41 UTC 2024
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.
More information about the Haskell-Cafe
mailing list