Stream: Coq devs & plugin devs

Topic: toplevel exception protections


view this post on Zulip Jason Gross (Sep 06 2022 at 06:42):

I thought the toplevel was supposed to turn uncaught exceptions into anomalies rather than crashing? (https://github.com/coq/coq/issues/16462)

view this post on Zulip Guillaume Melquiond (Sep 06 2022 at 07:00):

Sure. But what if it is the code that turns an uncaught exception into an anomaly that crashes?

view this post on Zulip Jason Gross (Sep 06 2022 at 07:58):

Maybe that code can itself catch most exceptions that are raised and print less informative error messages? (I think I've seen this when an exception is raised in printing?)


Last updated: Feb 01 2023 at 15:04 UTC