Closed chrismwendt closed 6 years ago
Well, not something we can avoid, since autocompletion is handled by GHCi as well, and the interface is synchronous, i.e. if it's spitting out suggestions, it can't do anything else...
Fixed in v0.7.13 or somewhere near (and actually would've been sooner if not for a bug in implementation). Now commands get sent into a queue instead of being rejected outright.
Hitting Enter in the REPL doesn't work when autocomplete is still loading the suggestions:
It's hard to see, but I typed
T
theno
then<Enter>
and the line didn't get submitted to GHCi. However,<Enter>
worked after waiting a few seconds.