Tom Tromey <
address@hidden> schrieb am Di., 23. Jan. 2018 um 06:21 Uhr:
The first patch changes the C code so that a CATCHER_ALL handler sees
both signals and throws. In addition to being needed for the second
patch, this allowed some simplifications in the module code. Note that
this changes the interface exposed by internal_catch_all, but as there
is only one caller, it is easy to verify that the change doesn't matter.
This patch is a pretty uncontroversial refactoring that simplifies the codebase independently of the byte-code change, so I'd suggest you install it as-is. Thanks.