It seems that the Racket plugin https://github.com/wlangstroth/vim-racket/ doesn’t support gd, “go to definition”. It this feature supported in the language server ( https://github.com/jeapostrophe/racket-langserver ) and if yes, how well?

You could quickly add a setlocal define= to get better gd support. (Untested, but something like (define might work as-is)

On a related note, is there a web interface to search for definitions, similar to how I can search in the Racket docs for the documentation of a function/form?

But that won’t handle let forms

> But that won’t handle let forms And it searches only in the buffer?

I’m particularly interested in jumping to the code that is part of the Racket installation.

Probably correct: for include searches, you’d need to work out setting the options path, include, and includeexpr. You can also use * and # for searching in the buffer for the word under the cursor

There’s also https://github.com/universal-ctags/ctags , which supposedly supports Racket. Usually I like Vim’s tag system, but I guess for Racket there are so many definition forms that the text-based tag file creation will miss a lot of definitions.

Path might be doable by querying racket about where all the code is; include/includeexpr is a little harder, and you would probably have to use racket in a non-trivial way.

I wonder if @greg’s work on databases and such could be made non-emacs specific to support this?

Yeah, tags are great, but it’s so difficult to keep up with all the ways to define things.

Do you have a link to @greg’s work?

Just a bunch of observed comments: https://racket.slack.com/archives/C06V96CKX/p1617284670145500?thread_ts=1617283736.138600&cid=C06V96CKX https://racket.slack.com/archives/C06V96CKX/p1612897531081800?thread_ts=1612896680.078200&cid=C06V96CKX https://racket.slack.com/archives/C06V96CKX/p1615828288265100?thread_ts=1615828172.264800&cid=C06V96CKX https://racket.slack.com/archives/C06V96CKX/p1615473077056200 https://racket.slack.com/archives/C06V96CKX/p1590542042489900

Thanks, but from reading the thread it’s still totally unclear to me what the scope is, in particular with which tools this is supposed to work. I’ll ask him.

For the record, I just installed universal-ctags and the found results from the generated tags are better than I expected. What’s particularly missing, though, are some or all lower-level definitions that are probably somehow built-in. For example, append* is found, but append isn’t.

I’ll try this for a bit to see how it goes.

re: racket-langserver I think within a module go to definition works and someone is working on go to definition out of a module

@samdphillips What’s the version of Neovim you use the language server with? Do you use Neovim 0.5.0 with the built-in LSP client or some plugin?

Neovim 0.5.0 with built-in

Someone on Discord has reported success using a different plugin, this is how they got it working " plug begin, other plugins Plug 'autozimu/LanguageClient-neovim', { \ 'branch': 'next', \ 'do': 'bash install.sh', \ } " plug end somewhere here set hidden let g:LanguageClient_serverCommands = { \ 'scheme': ['racket', '-l', 'racket-langserver'], " or 'racket' if you have proper filetypes set \ }

Interesting. I’m too lazy to install some version that isn’t in Fedora or available as AppImage download. :slightly_smiling_face:

Ok, I take that back, in part. There’s a nightly build for 0.5.0 at https://github.com/neovim/neovim/releases .

Yes, I’ve seen autozimu/LanguageClient-neovim several times (in the context of other programming languages).

yeah I found an ubuntu ppa for 0.5.0, otherwise I wouldn’t have tried

Also on Mac 0.5.0 is in homebrew

I’m running Fedora 33 at the moment.

So for identifiers defined outside of the module goto definition goes to the require where the name comes from or the lang line if it’s from the language.

I installed universal-ctags and ran ctags -R . in the root folder of my Racket installation, then added the generated tags file to the tags option in Neovim. (You can use set tags+=<the_racket_folder> .) Jumping to tags then finds definitions in the source files installed with Racket.

I guess I’ll try only the tags approach for now. When I hear that the language server finds definitions outside the current file, I’ll probably give it a try. :slightly_smiling_face:

Exuberant ctags might work, too, but this hasn’t been updated for some time and therefore probably is less complete.

Hi @greg ! :slightly_smiling_face:

Please don’t tell anyone I’m in this channel instead of #emacs I am so embarrassed!!!

At least you can be in both channels. :wink:

@sschwarzer Hi. You’d pinged me DM so I wanted to share the link. But again, this is just a few weeks old and still very much WIP: https://github.com/greghendershott/pdb

I don’t know about Vim calling Racket code “directly”, but I imagine some db like this could have a CLI tool, too, that could query a database. e.g. raco pdb find-definition some-file.rkt <pos>, where <pos> is a 1-based index into the file, for the location of a use, and the command outputs some file and location of the definition.

It think it would make sense to integrate the database usage (also) into the language server, so that it can be used by all editors/IDEs that can use a LSP server.

For sure if you can use LSP from Vim easily (I’m totally ignorant about Vim-land), that’s great.

Yes, a command line tool also sounds interesting. This approach is used by the Neovim plugin for Nim, where the plugin queries the nimsuggest tool that’s included in the Nim installation. I’d say, nimsuggest is something very similar to a language server in functionality.

The idea of LSP is neat but there’s bucketloads of marshaling things to and form JSON, so there’s also that. :slightly_smiling_face:

> For sure if you can use LSP from Vim easily (I’m totally ignorant about Vim-land), that’s great. Yes, but my point was about using the database from the language server, not using the language server from Vim. :slightly_smiling_face:

Ah gotcha. Yep.