Explorar o código

docs: removing the grammar's QbeGen.DeclVar exposes a latent Lower bug

Eric Streit hai 3 días
pai
achega
2a35150553
Modificáronse 1 ficheiros con 9 adicións e 0 borrados
  1. 9 0
      docs/STATUS.md

+ 9 - 0
docs/STATUS.md

@@ -144,6 +144,15 @@ Still to do:
 Note: full deletion to zero is gated on moving constant folding into
 `Lower` (item 3).  Until then the expression/value layer stays.
 
+Attempted and reverted (2026-10-08): deleting the grammar's
+`QbeGen.DeclVar` (in `VarDecl`) is **not** safe.  It makes `Lower`
+resolve one local to a global (`Showcase11`: the `src` VAR actual in
+`Strings.Replace` becomes `$Strings_nl`), reproducibly, even though
+`Lower.mod` and the AST are unchanged — another instance of the
+layout-sensitive latent bug class this project has hit before.
+`QbeGen.DeclConst` removal alone is fine; `DeclVar` stays until that
+bug is understood.
+
 
 ## Are we near completion?