Theia-Modula-2/PLAN.md

Plan — next steps (from v0.20.0)

Status: IDE complete through v0.20.0 (language, LSP, zero-false-positive diagnostics on real code, projects + explorer, GDB debugging, AppImage + deb, tutorial, editor toolbar, build report, semantic tokens). Tree clean except this file; all tags local.

Done since the last plan

• v0.16.x project explorer tree, v0.17.0 toolbar Build/Run + output channel, v0.18.0 build report dialog, v0.19.0 explorer context menu + preLaunchTask.
• v0.20.0 semantic tokens (server + theme enablement, GUI-verified).

Next, in priority order

1. Builtin-procedure signatures (recommended) — arity and argument checks for INC, DEC, ORD, CHR, LENGTH, etc. Last checker gaps; every rule probed against real gm2 first, uncertain cases stay silent.
2. WITH-block internals — field-visibility and type rules inside WITH (natural follow-up to record-field types from v0.14.0).
3. Formatter range support — format-selection on top of the existing document formatter.
4. Release artifacts — fresh AppImage + deb (distributables lag at v0.15.1/v0.12.x in gitignored apps/electron/dist/; gm2/gdb/ readelf stay host prerequisites, never bundled).

Also pending (undecided)

• Push commits + tags to origin (all local so far, through v0.20.0).
• Clean superseded artifacts from apps/electron/dist/.
• desktopName/window association polish for the deb.
• Coco/R grammar differential testing against gm2.
• Right-click context menu visual check (CDP cannot open context menus).
• Builtin-type semantic color: INTEGER/CARDINAL/etc. currently fall back to TextMate blue (resolver emits no token); consider emitting type tokens for predeclared identifiers.