>>>>> "Ludovic" == Ludovic Courtès <l...@gnu.org> writes:
Ludovic> I guess this is another limitation of Guile’s current signal handling Ludovic> strategy, and something we should fix. FWIW I think it would be sufficient for gdb if scm_system_async_mark, or something like it, could be invoked from a signal handler. Then a SIGINT in gdb could install an async callback that later checks gdb's quit flag. Tom
