scryer-prolog icon indicating copy to clipboard operation
scryer-prolog copied to clipboard

Interrupting mit C-c

Open UWN opened this issue 2 years ago • 1 comments

Currently, interrupting with C-c just throws an exception. More options would help. Maybe even offer a break (that is, another top level that can be used for inspection). But at least some information, like statistics and the call stack.

Also, I encountered a couple of times when interrupting some clpz computation (that was running for quite some time) the following:

   error(existence_error(procedure,do_queue/2),do_queue/2).

And not easy way to reproduce it...

UWN avatar Jan 09 '24 10:01 UWN

Maybe related (my "do_queue/2 comment" there): https://github.com/mthom/scryer-prolog/issues/2109

haijinSk avatar Jan 09 '24 16:01 haijinSk