16 Jun
2019
16 Jun
'19
2:49 p.m.
On Sun, 16 Jun 2019, LuoChen wrote:
On the other hand, is it ever necessary for us to add HasCallStack for a total function? Or we can ask, is it possible that a call to a total function cause runtime error? Maybe it’s a NO, since a total function will also crash when the machine is Out Of Memory, but that is also the only situation I can find out.
A non-IO function 'f' cannot crash because of memory exhaustion. The IO function calling 'f' is the one that crashes. A call stack would not help because it is not a programming error in 'f'.