Skip to content

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?