IDE reload is slow when there are syntax errors
When editing a large file and making a syntax error, a failed reload of the IDE takes about half as much time as a successful reload (with no syntax error), while why3 prove
almost instantly fails. It's significant enough to make me use why3 prove
as a syntax checker before each reload. It would be nice if the reload failed earlier in case of a syntax error.