Ulugbek Abdullaev
Ulugbek Abdullaev
Hi, Thanks for a quick reply. Indeed, I assumed that Stainless decides whether to recompile based on the timestamp. I would keep the hash of the file contents for the...
@jfeser thanks for your input! I guess we can offer various quickfixes for this problem
The temporary solution is to pin this: `opam pin -y git+https://github.com/patricoferris/ocaml-lsp#dc9a4ef8529628fe023e1ed034ffe6b517ea4f1a`
@v0idpwn I think that you haven't restarted ocaml-lsp after pinning
@voodoos would you be interested in having a look?
I think we have what you're asking? See: https://user-images.githubusercontent.com/16353531/181725692-70259a25-0eb4-4c97-9c3d-fa563979b8c4.mov https://user-images.githubusercontent.com/16353531/181725804-040752a9-726c-42c3-8d9a-651705e5b00f.mov We should make these things more discoverable.
Wow, this works like a charm! Thanks! Regarding implementation: 1. Am I missing something or could we could use a single option to represent the last hover that happened and...
There is a somewhat related PR in merlin repo btw: https://github.com/ocaml/merlin/pull/1374
Regarding designing a custom hover request, I think this may be an opportunity to design the request to also support selections (ie show types for selections) that was also discussed...
> I've started to work on adding a new command. I'm not sure exactly how much work it would require in the client to become usable. I am scared that...