Proposal: add HasCallStack for all partial functions in base
Henning Thielemann
lemming at henning-thielemann.de
Sun Jun 16 16:26:03 UTC 2019
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.
More information about the Libraries
mailing list