wz1000
wz1000
Thanks for the report. I think this can only be fixed in cabal/stack. However, it might be possible to work around it in ghcide in the meantime.
this seems to make sense. how did you discover this?
This code manages its progress token in a somewhat unique way which is not easy to statically scope with the lsp progress functions.
I find the `ghcide` executable very useful for quickly testing changes without waiting for all of HLS and its dependencies to build, and without manually disabling all the plugin flags.
> The objectionable bit about the ghcide executable is that adds a lot of very similar code to the HLS one, and leads to some confusing attempts to abstract the...
> If GHC had a command line mode to create the semaphore and managed them itself then this coupling wouldn't exist. I can't think of any other options immediately. It...
@hasufell @geekosaur I give more info on the problem and outline some solutions in https://gitlab.haskell.org/ghc/ghc/-/issues/25087. It would be really nice if you could give some feedback on which solution would...
We have an interval map in `Development.IDE.Spans.LocalBindings` that could be used to implement this
I think this is fine, but we do lose a bit of flexibility by losing the ability to backport fixes and improvements to hie file generation. The format is more...
Which laws guarantee `isInfinity` works as expected for all `Num` instances? One counterexample is `Num ()` or similar instances for unit types one might define.