Stale theorem prover error highlights may not clear until a key is pressed

CategoricalData / CQL

Categorical Query Language IDE

http://categoricaldata.net

299 stars 23 forks source link

Stale theorem prover error highlights may not clear until a key is pressed #1

Closed wisnesky closed 5 years ago

wisnesky commented 5 years ago

The realtime theorem prover and CQL code editor now rendezvous through a work queue where the tasks are generated from document edits. There shouldn't be any more staleness.