[polyml] Handling Interrupts

David> All console processes will receive an Interrrupt exception when David> ^C is pressed followed by "f", provided the handling of ^C has David> not been changed using Signal.signal. It is possible to change David> the handling of ^C so that it raises an interrupt immediately David> (rather than producing the => prompt) using

Signal.signal(2, Signal.SIG_HANDLE(fn _ => Process.interruptConsoleProcesses()));

Sorry for my previous uninformed post; I was completely unaware of Signal.signal. I had read the Basis report and looked hard in the POSIX part, and I concluded this wasn't possible. It didn't occur to me there was a PolyML specific toplevel structure for it.

Thanks for the information!