patch-prolog-lsp 0.4.0

Language Server Protocol implementation for patch-prolog (`plgl`)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

[package]
name = "patch-prolog-lsp"
version.workspace = true
edition.workspace = true
authors.workspace = true
license.workspace = true
documentation.workspace = true
repository.workspace = true
description = "Language Server Protocol implementation for patch-prolog (`plgl`)"
keywords = ["lsp", "language-server", "prolog", "patch-prolog"]
categories = ["development-tools", "text-editors"]

# The crate is `plg-lsp`; the installed binary is `plgl` (alongside plgc/plgr).
[[bin]]
name = "plgl"
path = "src/main.rs"

[dependencies]
# Engine — the LSP is a pure FRONTEND consumer: parser + shared types only.
# It never links plg-runtime or the solver.
plg-frontend = { path = "../frontend", version = "=0.4.0", package = "patch-prolog-frontend" }
plg-shared = { path = "../shared", version = "=0.4.0", package = "patch-prolog-shared" }

# LSP plumbing — from the workspace; isolated to this crate.
tower-lsp.workspace = true
tokio.workspace = true
serde.workspace = true
serde_json.workspace = true
tracing.workspace = true
tracing-subscriber.workspace = true