Mirror of forum.nim-lang.org

9789 :: How does the `nimsuggest` LSP work with respect to UFCS support in Nim?

• GavinRay (orginal) [2023-01-02T04:11:39+01:00] view original

  Something I've always been curious about is the general details of how nimsuggest can properly resolve suggestions for UFCS.

  Another language I enjoy programming in is D, and one of the limitations of the primary D LSP is that it doesn't support UFCS, so if you want a good authoring experience, you'd do better to forget that UFCS is a feature of the language at all.

  Does anyone happen to know the overall architecture/technical approach of how it works in Nim?

  The LSP has always worked well for me in VS Code, even many years ago as I recall.

---

• Araq (orginal) [2023-01-02T08:56:10+01:00] view original

  There is no problem. nimsuggest determines the type of obj. and suggests the routines in scope that take typeof(obj) as the first parameter.

---

• PMunch (orginal) [2023-01-02T09:24:13+01:00] view original

  The NimLSP client that I've written compiles directly with nimsuggest, the langserver implementation calls nimsuggest as a binary, but the system is the same. Nimsuggest is essentially using the same code as the compiler, but instead of generating code it generates information about the code. So as long as the compiler is able to figure out what functions are valid for a symbol, then nimsuggest is able to figure out what functions are valid for a symbol.

---

• GavinRay (orginal) [2023-01-02T16:32:19+01:00] view original

  Thank you both.

  @Araq:

  "nimsuggest determines the type of obj. and suggests the routines in scope that take typeof(obj) as the first parameter."

  You make this sound, ehh, trivial. 😅 I will have to think about how this pattern could be applied.

---