Post #1650316
2026-04-17 23:37 UTC
@pfriedma @bsdphk @whyrl
...and then on top of that, it's going to unwind the stack, and thereby destroy evidence that would be useful in locating the root cause of a bug, in the event of programming mistakes like null dereferences!?
https://learn.adacore.com/courses/intro-to-ada/chapters/exceptions.html
I really hope there's a way to disable or alter this behavior and make it trap instead, so that the stack is preserved for debugging...?
(C++ unwinds the stack too, but (1) generally not on UB, and (2) we have sanitizers for UB.)
Replies (1)
-
@JamesWidman@mastodon.social 2026-04-17 23:41
@pfriedma @bsdphk @whyrl in modern times, we would probably want to use an effect system (like the effect types & handlers in Koka) in use cases where previous generations used exceptions.