Skip to content

Distribute language server via npm package - #158

Draft
rvanasa wants to merge 16 commits into
masterfrom
ryan/mo-ide
Draft

Distribute language server via npm package#158
rvanasa wants to merge 16 commits into
masterfrom
ryan/mo-ide

Conversation

@rvanasa

@rvanasa rvanasa commented Jan 25, 2023

Copy link
Copy Markdown
Contributor

This PR exposes the new TypeScript-based language server as an npm package (tentatively named mo-ide) which can be used in place of the original binary which powers the dfx _language-service subcommand.

TODO:

  • Bundle the language server as a separate CLI
  • Support different transport options (currently stdio, node-ipc, and socket from vscode-languageserver)
  • Build standalone mo-ide binaries for GitHub releases (using pkg)
  • Test the language server on Vim / Emacs
  • Include patches for Vim / Emacs if necessary
  • Add step-by-step instructions for configuring Vim / Emacs

Please leave a comment if you are interested in using the Motoko language server with Vim or Emacs. Thanks!

@rvanasa

rvanasa commented Feb 10, 2023

Copy link
Copy Markdown
Contributor Author

@ggreif, would you be interested in helping me test this language server on Emacs at some point (low priority)?

@wiyota

wiyota commented Apr 26, 2025

Copy link
Copy Markdown
Contributor

I would like to use the Motoko Language Server for Zed.
Is there anything I can do to help?

edit: related topic in the forum

@ggreif

ggreif commented Apr 26, 2025

Copy link
Copy Markdown
Contributor

@rvanasa mo-ide is being removed. Relevant development for this effort?

@rvanasa

rvanasa commented Apr 28, 2025

Copy link
Copy Markdown
Contributor Author

We could revisit this, although it would be good for someone familiar with Vim / Emacs / Zed to be part of the effort to make sure that it works as expected.

@caffeine-ci-bot

Copy link
Copy Markdown
Contributor

This draft pull request has had no activity for 60 days and has been marked as stale. It will not be closed automatically. Please close it if you can.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants