src/Pure/Isar/toplevel.ML

 
 (*Note: we really do not intend to exhibit interrupts here.
   Poly/ML needs exception Interrupt to be handled. SML/NJ needs IO to be handled.*)
 fun get_interrupt src = SOME (Source.get_single src) 
                         handle Interrupt => NONE
-                             | IO.Io _ => get_interrupt src;
+                             | IO.Io _ => NONE;
 
 fun raw_loop src =
   (case get_interrupt (Source.set_prompt (prompt_state (get_state ())) src) of
     NONE => (writeln "\nInterrupt."; raw_loop src)
   | SOME NONE => ()