typecheck: diagnose missing NEW class names

This commit is contained in:
Hermes Agent
2026-09-17 10:32:03 +00:00
parent 6dcb86b920
commit 885c837593
6 changed files with 8 additions and 4 deletions
+1 -1
View File
@@ -67,7 +67,7 @@ Keep declared return types honest: `claro typecheck` now reports friendly diagno
8o. Keep class declarations understandable: a bare `CLASS` now gets a direct diagnostic explaining that a class name is required, with a small example repair.
8p. Keep object declarations understandable: a `NEW` statement with a class but no object name now gets a direct diagnostic with a complete `NEW Player player` repair example.
8p. Keep object declarations understandable: a `NEW` statement with a class but no object name now gets a direct diagnostic with a complete `NEW Player player` repair example; a bare `NEW` now separately explains that both a class and object name are required.
### 1. Strong static types