Merge pull request #564 from aviatesk/releases/2026-02-26

release: 2026-02-26

Author: aviatesk

.JETLSConfig.toml

@@ -1,3 +1,5 @@
+#:schema ./schemas/config-toml.schema.json
+
 # TODO [JETLS]
 # Need to properly set and parse line number information for `@namespace`
 [[diagnostic.patterns]]
@@ -15,6 +17,23 @@ match_type = "regex"
 severity = "off"
 path = "LSP/src/LSP.jl"
 
+# TODO [JETLS]
+# `@interface` type instability for anonymous interface definitions
+[[diagnostic.patterns]]
+pattern = "no matching method found `.*var\"AnonymousInterface.*`"
+match_by = "message"
+match_type = "regex"
+severity = "off"
+path = "LSP/src/**/*.jl"
+
+# This is type instability within JSON3.jl
+[[diagnostic.patterns]]
+pattern = "no matching method found `convert(.+)`"
+match_by = "message"
+match_type = "regex"
+severity = "off"
+path = "src/testrunner/testrunner-types.jl"
+
 # TODO [JuliaLowering]
 # Temporarily downgrade some known JuliaLowering issues to information level
 [[diagnostic.patterns]]

.gitattributes

@@ -1 +1,2 @@
 vendor/** linguist-generated
+schemas/** linguist-generated

.github/workflows/JETLS.jl.yml

@@ -8,17 +8,23 @@ on:
       - "src/**"
       - "test/**"
       - "LSP/**"
+      - "schemas/**"
+      - "scripts/schema/**"
       - "Project.toml"
       - ".github/workflows/JETLS.jl.yml"
+      - ".github/workflows/test-app.yml"
   pull_request:
     branches-ignore:
       - release
     paths:
       - "src/**"
       - "test/**"
       - "LSP/**"
+      - "schemas/**"
+      - "scripts/schema/**"
       - "Project.toml"
       - ".github/workflows/JETLS.jl.yml"
+      - ".github/workflows/test-app.yml"
 
 jobs:
   test:
@@ -141,35 +147,11 @@ jobs:
         env:
           JULIA_NUM_THREADS: "4,2"
 
-  test_jetls_serve:
-    name: Test jetls serve
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: julia-actions/setup-julia@v1
-        with:
-          version: "1.12" # most stable version
-          arch: x64
-      - uses: julia-actions/cache@v2
-      - uses: julia-actions/julia-buildpkg@latest
-      - name: run test
-        run: |
-          julia --startup-file=no --project=./test ./test/app/test_jetls_serve.jl
+  test_app:
+    uses: ./.github/workflows/test-app.yml
 
-  test_jetls_check:
-    name: Test jetls check
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: julia-actions/setup-julia@v1
-        with:
-          version: "1.12" # most stable version
-          arch: x64
-      - uses: julia-actions/cache@v2
-      - uses: julia-actions/julia-buildpkg@latest
-      - name: run test
-        run: |
-          julia --startup-file=no --project=./test ./test/app/test_jetls_check.jl
+  check_schemas:
+    uses: ./.github/workflows/check-schemas.yml
 
   jetls_self_check:
     name: Self diagnostics

.github/workflows/check-schemas.yml

@@ -0,0 +1,20 @@
+name: Check schemas
+
+on:
+  workflow_call:
+
+jobs:
+  check_schemas:
+    name: Check schemas are up to date
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: "1.12"
+          arch: x64
+      - uses: julia-actions/cache@v2
+      - name: Instantiate schema project
+        run: julia --startup-file=no --project=scripts/schema -e 'using Pkg; Pkg.instantiate()'
+      - name: Check schemas
+        run: ./scripts/schema/regenerate.sh --check

.github/workflows/jetls-client.yml

@@ -6,12 +6,16 @@ on:
       - master
     paths:
       - "jetls-client/**"
+      - "src/**"
+      - "scripts/schema/**"
       - ".github/workflows/jetls-client.yml"
   pull_request:
     branches-ignore:
       - release
     paths:
       - "jetls-client/**"
+      - "src/**"
+      - "scripts/schema/**"
       - ".github/workflows/jetls-client.yml"
 
 jobs:
@@ -29,3 +33,19 @@ jobs:
       - name: Run checks
         working-directory: jetls-client
         run: npm run check
+
+  check_package_json:
+    name: Check package.json is up to date
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v2
+        with:
+          version: "1.12"
+          arch: x64
+      - uses: julia-actions/cache@v2
+      - name: Instantiate schema project
+        run: julia --startup-file=no --project=scripts/schema -e 'using Pkg; Pkg.instantiate()'
+      - name: Check package.json is up to date
+        run: |
+          julia --startup-file=no --project=scripts/schema scripts/schema/update-pkg-json.jl jetls-client/package.json --check

.github/workflows/release.yml

@@ -29,35 +29,13 @@ jobs:
       - uses: julia-actions/julia-buildpkg@latest
       - uses: julia-actions/julia-runtest@latest
 
-  test_jetls_serve:
-    name: Test jetls serve with release environment
+  test_app:
     if: github.event_name == 'pull_request' && github.event.action != 'closed'
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: julia-actions/setup-julia@v1
-        with:
-          version: "1.12"
-          arch: x64
-      - uses: julia-actions/julia-buildpkg@latest
-      - name: run test
-        run: |
-          julia --startup-file=no --project=./test ./test/app/test_jetls_serve.jl
+    uses: ./.github/workflows/test-app.yml
 
-  test_jetls_check:
-    name: Test jetls check with release environment
+  check_schemas:
     if: github.event_name == 'pull_request' && github.event.action != 'closed'
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: julia-actions/setup-julia@v1
-        with:
-          version: "1.12"
-          arch: x64
-      - uses: julia-actions/julia-buildpkg@latest
-      - name: run test
-        run: |
-          julia --startup-file=no --project=./test ./test/app/test_jetls_check.jl
+    uses: ./.github/workflows/check-schemas.yml
 
   docs:
     name: Documentation
@@ -163,7 +141,10 @@ jobs:
           gh release create "$VERSION" \
             --target release \
             --title "$VERSION" \
-            --notes "$RELEASE_NOTES"
+            --notes "$RELEASE_NOTES" \
+            schemas/config-toml.schema.json \
+            schemas/settings.schema.json \
+            schemas/init-options.schema.json
 
       - name: Strip Announcement from previous release
         env:

.github/workflows/test-app.yml

@@ -0,0 +1,50 @@
+name: Test app commands
+
+on:
+  workflow_call:
+
+jobs:
+  test_jetls_serve:
+    name: Test jetls serve
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: "1.12" # most stable version
+          arch: x64
+      - uses: julia-actions/cache@v2
+      - uses: julia-actions/julia-buildpkg@latest
+      - name: run test
+        run: |
+          julia --startup-file=no --project=./test ./test/app/test_jetls_serve.jl
+
+  test_jetls_check:
+    name: Test jetls check
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: "1.12" # most stable version
+          arch: x64
+      - uses: julia-actions/cache@v2
+      - uses: julia-actions/julia-buildpkg@latest
+      - name: run test
+        run: |
+          julia --startup-file=no --project=./test ./test/app/test_jetls_check.jl
+
+  test_jetls_schema:
+    name: Test jetls schema
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v1
+        with:
+          version: "1.12" # most stable version
+          arch: x64
+      - uses: julia-actions/cache@v2
+      - uses: julia-actions/julia-buildpkg@latest
+      - name: run test
+        run: |
+          julia --startup-file=no --project=./test ./test/app/test_jetls_schema.jl

AGENTS.md

@@ -63,6 +63,9 @@
   behavior. However, even in these cases, if the function name and behavior are
   self-explanatory, no special docstring is needed.
 
+- When modifying config structs in `src/types.jl`, follow the schema
+  regeneration procedure in [DEVELOPMENT.md](./DEVELOPMENT.md#configuration-schema).
+
 - Avoid unnecessary logs:
   Don't clutter the language server log with excessive information.
   If you must use print debugging, generally use `@info`/`@warn` behind the
@@ -185,7 +188,6 @@ end # module test_completions
 ```
 
 ## Using TestRunner.jl
-
 Additionally, by using `@testset` as shown above, not only are tests hierarchized,
 but through integration with [TestRunner.jl](https://github.com/aviatesk/TestRunner.jl),
 you can also selectively execute specific `@testset`s, without executing the

CHANGELOG.md

@@ -19,7 +19,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 ## Unreleased
 
 - Commit: [`HEAD`](https://github.com/aviatesk/JETLS.jl/commit/HEAD)
-- Diff: [`150f880...HEAD`](https://github.com/aviatesk/JETLS.jl/compare/150f880...HEAD)
+- Diff: [`e141508...HEAD`](https://github.com/aviatesk/JETLS.jl/compare/e141508...HEAD)
 
 ### Announcement
 
@@ -47,6 +47,51 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ### Added
 
+- Added `jetls schema` CLI command that prints the JSON Schema for JETLS
+  configuration. Supports `--settings`, `--init-options`, and
+  `--config-toml` options.
+- Added schema generation infrastructure under `scripts/schema/` and
+  committed generated schema files under `schemas/`. CI now checks that
+  the schema files and `jetls-client/package.json` stay in sync with
+  `src/types.jl`.
+
+- Added [`inference/method-error`](https://aviatesk.github.io/JETLS.jl/release/diagnostic/#diagnostic/inference/method-error)
+  diagnostic that detects function calls where no matching method exists for
+  the inferred argument types. This catches potential `MethodError`s that would
+  occur at runtime. For union-split calls, the diagnostic reports only the
+  failing branches with their count (e.g., "1/2 union split").
+
+### Changed
+
+- `textDocument/documentSymbol` now shows `for`, `let`, `while`, and
+  `try`/`catch`/`else`/`finally` blocks inside functions as hierarchical
+  `Namespace` symbols. Previously, all local bindings within a function were
+  shown as flat children; now, bindings inside scope constructs are nested
+  under the scope construct, matching the existing behavior for top-level
+  scope constructs.
+
+- `textDocument/documentSymbol` now strips redundant name prefixes from
+  symbol details. (e.g., a symbol named `foo` with detail `foo = func(args...)`
+  now shows ` = func(args...)` as the detail.
+
+### Fixed
+
+- Fixed `textDocument/rename` for macro bindings.
+
+- Fixed bindings in `let`/`for`/`while` blocks inside nested functions
+  not appearing as children of those functions in the document outline.
+
+## 2026-02-16
+
+- Commit: [`e141508`](https://github.com/aviatesk/JETLS.jl/commit/e141508)
+- Diff: [`150f880...e141508`](https://github.com/aviatesk/JETLS.jl/compare/150f880...e141508)
+- Installation:
+  ```bash
+  julia -e 'using Pkg; Pkg.Apps.add(; url="https://github.com/aviatesk/JETLS.jl", rev="2026-02-16")'
+  ```
+
+### Added
+
 - Anonymous function assignments (`f = (x) -> x + 1` and
   `clos = function (y) ... end`) are now analyzed as `Function` symbols
   for `textDocument/documentSymbol`, with their arguments as children.

DEVELOPMENT.md

@@ -11,7 +11,7 @@ which has been organized to be easily recognized by AI agents.
 During development, you can run JETLS directly from your local checkout using
 Julia's `-m` (module run) flag:
 ```bash
-julia --startup-file=no --project=/path/to/JETLS -m JETLS
+julia --startup-file=no --project=/path/to/JETLS -m JETLS serve
 ```
 
 This is useful for testing changes without installing the `jetls` executable.
@@ -314,6 +314,30 @@ Use `--top=N` to control how many entries to show (default: 50).
 - The snapshot process itself requires additional memory, so for very large
   processes, ensure sufficient memory is available
 
+## Configuration schema
+
+The configuration schema is generated from the config structs
+in `src/types.jl` by two scripts under `scripts/schema/`:
+
+- `generate.jl` generates standalone schema files under `schemas/`:
+  - `config-toml.schema.json` (complete schema for `.JETLSConfig.toml`)
+  - `settings.schema.json` (settings only)
+  - `init-options.schema.json` (initialization options only)
+- `update-pkg-json.jl` updates VSCode configuration properties inside
+  `jetls-client/package.json` (with `$defs` inlined and `description`
+  renamed to `markdownDescription`).
+
+When you modify the config structs, update `schemas/description.toml`
+with descriptions for any new or changed fields, then regenerate all
+schemas by running:
+```bash
+./scripts/schema/regenerate.sh
+```
+
+Both scripts support a `--check` flag that exits with an error
+if the output is out of date. CI runs them in this mode to
+ensure the generated files are kept in sync.
+
 ## Release process
 
 JETLS avoids dependency conflicts with packages being analyzed by rewriting the
@@ -476,7 +500,8 @@ To use a local JETLS.jl checkout with the development extension (see
     "--history-file=no",
     "--project=/path/to/JETLS",
     "-m",
-    "JETLS"
+    "JETLS",
+    "serve"
   ]
 }
 ```