aboutsummaryrefslogtreecommitdiff
path: root/kernel/cbytecodes.ml
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2019-06-16 15:31:27 +0200
committerEmilio Jesus Gallego Arias2019-06-18 17:11:09 +0200
commit85d770bdb52c73e741738f7193206a5d6896dc02 (patch)
tree26b1ac2de932376266a00d61e764f7da75a2900b /kernel/cbytecodes.ml
parent8acc04d4c33ed41ac8dfa668a026010d4592388d (diff)
[errors] remove "is_handled" logic, turn unhandled into anomalies
We place the check for unhandled exceptions in the `is_anomaly` function, and consider all the exceptions non-handled by the printers always anomalies. This reworks the solution implemented in ea3909466eaaf86ff212c0a002e5df11e4a979f5 , in particular `allow_uncaught` cannot be used anymore, all exceptions must install a printer. In order to pass the test-suite CI we also had to register some printers, that were not registered for no reason, forcing clients to call a post-processing step on errors.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions