theia-ide / racket-language-server Goto Github PK
View Code? Open in Web Editor NEWRacket Language Server
Racket Language Server
Another implementation https://github.com/jeapostrophe/racket-langserver
The next release of Racket integrates the template
form with the syntax
form, which breaks some code in this package. The patch here: https://github.com/jeapostrophe/racket-langserver/commit/592220137c828724053ec57e7051ae541818a305.patch should fix things.
https://docs.racket-lang.org/tools/lang-languages-customization.html
drracket:keystrokes
drracket:toolbar-buttons
https://docs.racket-lang.org/tools/lang-languages-customization.html
drracket:default-filters
drracket:default-extension
Leaving this here in case someone tries out the code. Should get fixed tomorrow.
On linux, due to the (recursive) dependencies on gui-lib, racket-langserver cannot run without a running X11 server. I believe the responsible dependencies are, besides gui-lib itself, drracket-tools-lib, which can be easily refactored into a headless component for racket-langserver, based on my experimentation... and racket-doc, which cannot. Since I've never used racket I'm not entirely sure what that racket-doc is doing; maybe it's not so hard to fix that issue as well.
Anyways, here's what happens if you try without X installed:
Welcome to Racket v7.8.
> (require racket-langserver)
; ffi-lib: couldn't open "libgdk-x11-2.0.so.0" (libgdk-x11-2.0.so.0: cannot
; open shared object file: No such file or directory) [,bt for context]
With X installed but not running:
Welcome to Racket v7.8.
> (require racket-langserver)
Unable to init server: Could not connect: Connection refused
; Gtk initialization failed for display ":0" [,bt for context]
For completeness, with GTK installed and a non-X backend running there's also an error loading libX11
.
Since this info was surprising to some people: Yes, there's a point to running a language server on a headless server: not only for TUI text editors, but even for GUI ones like VS Code Remote. And for what it's worth, I've not run into any other language servers which require X.
Requires the client to use a custom tokenizer. The current client implementation of racket/colorize applies decorations manually which prevents the document highlight request from being triggered.
I'd like to explore the use of this lsp server while playing on a toy racket based project
How do I install it ?
Do I need to require it from within the code of my project ?
Do I need to use raco in any way ?
And after installation, how do I connect my lsp client to the server ?
Thanks
Hey, I'd love to help you in some way. I don't have a lot of experience with Racket, but I'm sure I'd be able to do something given enough time. Is there any first issue you would recommend tackling?
Hi @dvc94ch.
I am an admin on the theia-ide
GitHub organization. Most of the repos here have moved to Eclipse Foundation organizations. I am doing a cleanup pass. Can you confirm if this repo is still useful and should be kept? Else I would archive it.
Please let me know.
I think others will be interested and the topic will help them find it.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.