Re: Configuring cabal to tell HPC to ignore certain functions

Viktor Dukhovni <[email protected]>
Newsgroups gmane.comp.lang.haskell.cafe
Message-ID <[email protected]>
On Sat, Dec 28, 2024 at 07:50:20PM -0500, Ben Gamari wrote:
> Ivan Perez <[email protected]> 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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.