Ghcide: Don't show "Progress: x/y" messages until the session/cradle has been setup

[bubba]

Currently the progress message from #644 gets shadowed by the Shake reporting messages that say "Progress: ½", an example is in this link: https://streamable.com/nqbcfk
It would probably be more clear to the user if we hold off sending the work done progress report until the session is finished setting up.

[pepeiborra]

Just blame Pepe Iborra 😂

[pepeiborra]

Jokes aside, can we inform the lsp client about the relative priorities of these progress messages, so that it will show the initialisation progress in the status bar, rather than the shake progress?

[bubba]

@pepeiborra lol, I was wondering that as well though since it would be nice to not touch the shake progress. The state machine thing is set up quite nicely, and from what I can understand multiple sessions can be set up at once so I don't want to have to do loads of bookkeeping. Alas there doesn't seem to be anything in the specification for priority

[pepeiborra]

What if we keep sending initialisation progress messages every 100ms or so? Will that help?