scheme-langserver

Release History

2.1.0

Major release with expanded diagnostics, macro auto-resolution, performance optimizations, and Docker CI upgraded to Chez 10.4.1.

What’s new in 2.1.0

• LSP protocol: workspace/symbol search is now supported.
• Diagnostics:
  • Diagnostics now include standard LSP source and code fields.
  • Duplicate identifier detection in binding forms (lambda, case-lambda, let, letrec, let-values, do, define, with-syntax).
  • Unused import detection for only, except, rename, and alias modifiers.
  • Tokenizer syntax errors are now surfaced as document diagnostics.
  • Silent type-inference and type-rule failures are diagnosed.
  • Empty diagnostic arrays are sent to clear stale client-side errors.
• Macro auto-resolution: extended from syntax-rules to syntax-case, let-syntax, and letrec-syntax. Multi-layer macro cascade reference propagation is fixed.
• Type inference: define-record-type now infers record types; car/cdr family macros (caar, cadr, caddr, cadddr, caaar, cadar, etc.) have dedicated type rules.
• Performance: OPT-1~5 optimizations (expander-doc caching, hashtable reverse maps, tail-recursive accumulators, incremental all-pairs maintenance); MEM-1/3/6 memory optimizations for auto macro expansion; dedupe and reference hot-paths switched to eq? hashtables; matrix operations rewritten with cons+reverse.
• Robustness: hardened LSP message parsing against EOF, invalid Content-Length, and malformed JSON; shutdown/exit lifecycle fully compliant with the LSP spec; didChange auto-cancellation removed to comply with the spec; request-queue concurrency hardened with cancel barriers and log-mutex.
• Infrastructure: Docker build chain upgraded from Chez 9.6.4 to 10.4.1; chez-exe switched to the ufo5260987423/chez-exe fork for 10.x compatibility; test suite refactored to use AST search instead of hard-coded positions.

2.0.3

Fixed pretty-print bugs that were mixed with standard I/O.

2.0.2

Publish diagnoses, though now only can figure out “fail to find library”.

2.0.1

Fix many bugs.

2.0.0

Fix many bugs and switch between different top environments.

1.2.9

Now, enjoy type inference!

1.2.8

Now hover and auto completion is ready for use. I also have done many things about parsing fault tolerance.

1.2.7

Fix bugs on uri parsing, do you know LSP request uri may wrongly process escape characters?

1.2.6

Fault tolerant parser.

1.2.5

Fix: Some protocol api bugs. And now it’s basically smooth with Magic Scheme and Vscode.

1.2.4

Fix: hover api. It failed when processing meta.

1.2.3

Why completion api doesn’t work well? I don’t know and just fix.

1.2.2

I just fixed some bugs processing my own other projects.

1.2.1

I just fixed some bugs processing SS/SCM codes.

1.2.0

Re-construct the identifier catching mechanism with abstract interpreter.

1.1.1

Scheme-langserver now releases type information used in corresponding libraries! Its soundness is still not guaranteed!

1.1.0

Type inference has been embedded into autocompletion! And it uses a homemade DSL.

1.0.13

Fix bug: sometimes can’t shutdown server. Optimization: re-construct document-sync mechanism.

1.0.12

Add ss/scm-import-rnrs option.

1.0.11

Gradual Typing system, all basic rules have been passed.

1.0.10

Fix bugs in 1.0.9.

1.0.9

Abandoned: add parallel and synchronize mechanism.

1.0.8

Build index as document synchronizing instead of workspace initializing.

1.0.7

Catch syntax-* identifier bindings.

This site is open source. Improve this page.