Enforce exhaustive matches for AST nodes

This commit addresses the critical rule regarding exhaustive `match` expressions on AST node kinds. By explicitly listing all variants instead of using wildcards (`_ =>`), we ensure that new AST node types are consciously handled throughout the compilation pipeline. This practice prevents subtle bugs and makes the compiler more robust against future changes. The `CLAUDE.md` file has been updated to reflect this critical rule. The deleted `BUG_program_node_typeinference.md` file indicates that a previously identified bug related to type inference with `Program` nodes has been resolved, likely as a consequence of enforcing these exhaustive matches.
2026-03-31 17:33:45 +02:00
parent 8d14da82c5
commit 7d6e040721
12 changed files with 444 additions and 205 deletions
@@ -1,52 +0,0 @@
-# Bug: Program-Node bricht Destructuring-Typinferenz
-
-## Reproduktion
-
-Ausgehend vom aktuellen Stand (Lambda-Wrapping in `compile_pipeline`, `parse_expression` in `compile`):
-
-### Schritt 1: In `compile()` `parse_expression` durch `parse_program` ersetzen
-
-In `src/ast/environment.rs`, Methode `compile()`:
-
-```rust
-// VORHER (funktioniert):
-let syntax_ast = parser.parse_expression();
-
-// NACHHER (Typinferenz bricht):
-let syntax_ast = parser.parse_program();
-```
-
-Außerdem die `at_eof`-Prüfung entfernen (weil `parse_program` alles konsumiert).
-
-### Schritt 2: Testen
-
-```bash
-cargo run --release --bin ast -- -d -e "((fn [[x y]] (+ x y)) [10 20])"
-```
-
-**Erwartet:** `Constant: 30` im Dump (Optimizer faltet den Ausdruck)
-
-**Tatsächlich:** Kein Folding. Die Lambda-Parameter `x` und `y` haben Typ `Any` statt `Int`. HM step 10 (Unifikation) wird übersprungen weil `has_typevar_component` false ist.
-
-### Schritt 3: Zusätzlich Lambda-Wrapping entfernen (verschärft das Problem)
-
-In `compile_pipeline()` die Zeile `let wrapped = self.wrap_as_lambda(bound);` entfernen.
-
-Dann bekommt `check_node_as_bound` einen `Program`-Node statt eines `Lambda`-Nodes. Ergebnis ist dasselbe: `Any`-Parameter, kein Folding.
-
-## Ursache (unvollständig analysiert)
-
-Der AST-Unterschied:
-
- **Funktioniert:** `Lambda(Call(Lambda([[x y]], body), [10 20]))` — kein Program-Node
- **Bricht:** `Lambda(Program(Call(Lambda([[x y]], body), [10 20])))` — Program-Node dazwischen
-
-Der TypeChecker erzeugt TypeVars (`?0`, `?1`) für die innere Lambda-Parameter. Aber in `check_params_tuple` (check.rs, Zeile ~241) wird `TypeVar` im Match auf `_ => StaticType::Any` aufgelöst statt propagiert. Dadurch enthält die Signatur `fn([[any any]]) -> int` statt `fn([[?0 ?1]]) -> int`, und HM step 10 überspringt die Unifikation.
-
-Warum das nur mit Program-Node passiert und nicht ohne, ist unklar. Der `check_params_tuple`-Code hat sich nicht geändert.
-
-## Betroffener Test
-
-```
-tests/destructuring.rs::test_nested_destructuring_optimization
-```