Re: Configuring cabal to tell HPC to ignore certain functions
Ivan Perez <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <CACZKWEKLXpkqpR2xZfdO19BF5QWiW1ff+mf5JiWL9rKrjwWT7Q@mail.gmail.com> |
Wrt otherwise, yes, I also found that a bit confusing. Ivan On Sun, 29 Dec 2024 at 10:58, Viktor Dukhovni <[email protected]> wrote: > 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. _______________________________________________ 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.