Tom Tromey 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.