Turn on HLS/LSP in a buffer:
Turn off HLS/LSP in a buffer (and in all buffers using the same server):
s-l w q
Restart HLS/LSP in a buffer:
s-l w r (although I’m not sure this really works. Turn off and then turn on seems to be better.)
s- is the “super” key and can be simulated with
C-x @ s)
Use an identifier that’s not imported. HLS offers to import it for you. I don’t think it can offer to import things that are not in any visible package, which has pros and cons.
I don’t know how to find all buffers in which LSP is running (in order to turn them off). The buffer called
*lsp-log* gives some clues).
Have to write out a
hie.yaml cradle all the time with
cradle:\n cabal:, because cradle autodetection in broken.
Wingman doesn’t give choices:
foo n1 n2 = _ doesn’t give choice of
n2. Just fills with