Retrie is broken on Windows

[bradrn]

Cross-posted from emacs-lsp/lsp-haskell#128 on the recommendation of @michaelpj:

When I try to apply a code action such as ‘Unfold’ or ‘Fold’, I get the following message:

LSP :: Please open an issue in lsp-mode for implementing `11160:retrie:retrieCommand'.

(error "Not enough arguments for format string")

And the relevant part of the log from LSP:

[Trace - 06:55:01 PM] Received response 'workspace/executeCommand - (95)' in 0ms.
Result: {
  "code": -32602,
  "message": "error while parsing args for retrieCommand in plugin retrie: expected Bool, but encountered Null\narg = Object (fromList [(\"description\",String \"Unfold wSheet\"),(\"originatingFile\",String \"file:///c%3A/Users/bradn/Documents/Spreadsheet/supercell/src/Main.hs\"),(\"restrictToOriginatingFile\",Null),(\"rewrites\",Array [Object (fromList [(\"contents\",String \"Main.wSheet\"),(\"tag\",String \"Unfold\")])])])"
}

[jneira]

Hi, thanks for the bug report, could you post the module where you are trying to trigger retry (or the relevant pragmas for retrie)?

[pepeiborra]

Could you also share a repro using VSCode?

[bradrn]

@jneira It fails for every module I’ve tried.

(Also, it’s not just retrie either: all Wingman operations fail as well.)

@pepeiborra I don’t use VSCode regularly, but I’ll try to reproduce it.

[bradrn]

@pepeiborra VSCode also gives me an error when I attempt to use Retrie or Wingman:

[pepeiborra]

Thanks @bradrn but we need more details to reproduce. Project, steps, versions of hls, ghc, etc.

[bradrn]

Project: this seems to happen for any project, even just plain Stack simple template.

GHC version: again, this seems to be independent of GHC version from what I can tell.

HLS version:

> .\haskell-language-server-wrapper.exe --version
haskell-language-server version: 1.2.0.0 (GHC: 8.10.4) (PATH: C:\Users\bradn\Documents\Haskell\hls\haskell-language-server-wrapper.exe) (GIT hash: be2071e985cb417f984ab00a1aad76dee02d6d0b)

[pepeiborra]

Can you attach a screen recording too please?

[bradrn]

(EDIT: The uploaded video seems to have cut off all the relevant parts of my original recording. I’ll try to upload a better video.)

[bradrn]

@pepeiborra Here’s a better recording:

hls-error.mp4

As shown towards the end of the video most parts of HLS are working correctly; it is only retrie and parts of Wingman which are buggy.

[jneira]

hmm from the path of the call to hls in the cli it seems you are on windows, no?