eliminating an irritating bug with the event loop

20 views

Skip to first unread message

Mark Tarver

unread,

Jan 26, 2021, 5:31:34 PM1/26/21

to Shen

An irritating bug with the event loop occurs when loading a file through the GUI and attempting to spy on the type checker during the load. It works but the REPL to the spy becomes erratic, requiring sometimes several key presses to progress the proof. This has annoyed me for a long time but when testing for a type error in a program it annoyed me enough to track down the problem and fix it. It is an unwanted effect of the GUI event loop.

All is now smooth.

FWIW SP 28 should also start up more quickly than SP 26.

Mark

Mark Tarver

unread,

Jan 28, 2021, 7:58:37 AM1/28/21

to Shen

Well that fix did not stick - this is a sporadic behaviour - so I'll have to put on my wellies and dig inside SBCL. This is the last hurdle to be overcome.