purefunctor / purefunctor/purescript-iris

Move language server command to explicit lsp subcommand

Open
#486 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

0.1.x breaking language-server tooling
Dominant language
Rust
Stars
102
Forks
11
Avg merge
3h 30m
Merged PRs (30d)
138

Description

Goal

Require the explicit alexandrite lsp subcommand to start the language server, rather than starting it implicitly when no subcommand is supplied. Keep language-server options under lsp rather than accepting them at the top level.

The CLI already exposes an lsp subcommand, but currently also flattens its options into the top-level CLI and defaults to launching the language server.

This is a breaking change for clients that launch Alexandrite without the subcommand.

Tasks

  • Require explicit lsp invocation and remove the implicit top-level language-server entry point.
  • Update alexandrite-vscode to 0.1.0 with this breaking change.

Target release: 0.1.0.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Review the CLI definition and existing lsp subcommand, then trace how no-subcommand invocation and top-level language-server options are handled. Remove the implicit launch path, keep those options under lsp, and update alexandrite-vscode to version 0.1.0. Done means clients must invoke alexandrite lsp explicitly and the breaking change is reflected in the extension.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust, vscode
Domain
cli, developer-experience
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
55/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.