[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