Proposal: add HasCallStack for all partial functions in base

[Simon Jakobi]

>  I think only the partial implementations should get that constraint.

Oops, I had the misconception that one couldn't add a HasCallStack
constraint to method implementations.

I agree though!


Am So., 16. Juni 2019 um 18:26 Uhr schrieb Henning Thielemann <
lemming at henning-thielemann.de>:

>
> On Sun, 16 Jun 2019, Simon Jakobi via Libraries wrote:
>
> > I like the idea of marking partial functions with HasCallStack.
> > But I'd like to point out that we also have class methods where some but
> not all implementations are partial,
> > such as foldr1 in Foldable.
> >
> > Should methods like these also get a HasCallStack constraint?
>
> I think only the partial implementations should get that constraint.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190616/316c2adc/attachment.html>