|
|
@@ -1,34 +1,32 @@
|
|
|
-# Plan — next steps (from v0.20.0)
|
|
|
+# Plan — next steps (from v0.21.0)
|
|
|
|
|
|
-Status: IDE complete through v0.20.0 (language, LSP, zero-false-positive
|
|
|
+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). Tree clean
|
|
|
-except this file; all tags local.
|
|
|
+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.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).
|
|
|
+- 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. **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
|
|
|
+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.
|
|
|
-4. **Release artifacts** — fresh AppImage + deb (distributables lag at
|
|
|
+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.20.0).
|
|
|
+- 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`.
|
