Jason Gross (Sep 06 2022 at 06:42): 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)
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?
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: Dec 05 2023 at 11:01 UTC