On Sat, Dec 28, 2024 at 07:50:20PM -0500, Ben Gamari wrote:
> Ivan Perez <ivanperezdominguez@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.
_______________________________________________
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.