geiser-repl-interrupt does not interrupt compilation process
Recipe:
- Open a file part of a big project, say Guix, that was not compiled so far.
- Run
geiser-mode-switch-to-repl-and-enter
(C-c C-a
). It starts compiling all the necessary Guix modules. - In the Geiser REPL, call
geiser-repl-interrupt
(C-c C-k
). It interrupts the current file compilation and proceeds to the next file.
Since there are hundreds of file, we've got to wait minutes until the REPL gets ready, without the possibility to effectively interrupt it.
Would it be possible to have geiser-repl-interrupt
really interrupt everything?