Proposal: Add HasCallStack to the partial functions in base
Henning Thielemann
lemming at henning-thielemann.de
Fri Sep 28 05:25:32 UTC 2018
On Thu, 27 Sep 2018, David Feuer wrote:
> I mostly think this is a good idea. However, some care is required to prevent performance problems, especially in
> recursive functions. Watch out in implementation! Also, these partial functions are sometimes used in
> non-obviously total contexts, such as the implementation of mfix for lists.
All partial functions must eventually be used in total contexts -
otherwise your program can crash.
More information about the Libraries
mailing list