UI continues to display status that slicer is still searching for output when it is finished.

ultra-group / skalpel

A type error slicer for Standard ML

GNU General Public License v3.0

10 stars 1 forks source link

Open jpirie opened 10 years ago

jpirie commented 10 years ago

Sometimes, the Emacs interface continues to print the

(SML-TES) SEARCHING FOR OUTPUT

messages after the slicer has finished. This means it happens after already seeing a message like this:

(SML-TES) SLICING FINISHED WITH STATUS: slicer worked OK, program has type or syntax errors

jpirie commented 10 years ago

(From bugzilla) Joe Wells: I also (maybe instead) sometimes see the message

(SML-TES) RUNNING SLICER

after seeing the "FINISHED" message.

The problem with this bug is that because the last message overwrites the previous one, the user has no way of knowing that slicing is finished.