Turn on HLS/LSP in a buffer: M-x lsp
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
n1
or n2
. Just fills with n1
.