Language support for the Maude system in VS Code:
syntax highlighting, code folding, and — via a bundled Language Server — real
diagnostics, an outline, and go-to-definition / hover / completion.
Features
Syntax highlighting & folding for .maude files (modules, comments, etc.).
Diagnostics: runs the maude interpreter on your file and shows its
errors/warnings inline.
Go to definition / hover / completion for sort/op/var/module names,
including module parameters and the base names of parameterized modules/sorts.
Names defined in files reached via load/in and in the Maude prelude/library
are indexed too.
Requirements
The maude executable must be installed and on your PATH (or set
maude.path). Diagnostics run the real interpreter. No separate Node.js
install is needed — the language server runs on VS Code's built-in runtime.
Settings
maude.path (default maude) — path to the maude executable.
maude.diagnostics.enabled (default true).
maude.diagnostics.timeoutMs (default 5000) — maude is killed after this.
maude.libPath (default empty) — Maude library directory (contains
prelude.maude). If empty, falls back to MAUDE_LIB, then a path derived
from the maude binary.
Known limitations
Navigation is heuristic (name-based, not type-aware): symbolic mixfix operators,
find-references, and type-resolved lookups are not yet supported. Block comments
***( … ) are matched with a paren counter.
