Theia-Modula-2/PLAN.md

Plan — next steps (from v0.21.0)

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

Done since the last plan

• v0.20.0 semantic tokens (server + theme enablement, GUI-verified).
• v0.21.0 builtin-procedure signatures (178-case gm2 differential at zero mismatches; HALT/NEW/DISPOSE and murky LENGTH/TSIZE/ CODE/COPY/FILL deliberately unchecked, uncertain cases silent).

Next, in priority order

1. WITH-block internals (recommended) — field-visibility and type rules inside WITH (natural follow-up to record-field types from v0.14.0). Last checker gap.
2. Formatter range support — format-selection on top of the existing document formatter.
3. 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.21.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.