RayPals/Claro
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

typecheck: diagnose typed unknown object fields

Browse Source
This commit is contained in:
Hermes Agent
2026-09-08 15:23:55 +00:00
parent 299309ed5b
commit 8c3c898af7
6 changed files with 17 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
CHANGELOG.md
+5
View File
@@ -2,6 +2,11 @@
## Unreleased
### Diagnose explicitly typed unknown object fields
- Added focused typecheck coverage for `SET player.level NUMBER 3` when `Player` declares no `level` field.
- `claro typecheck` now gives the same beginner-facing missing-`HAS` hint for explicitly typed unknown fields as it does for untyped field assignments.
### Reject unlisted typecheck fixtures
- `tools/validate_typecheck_diagnostics.py` now discovers `tests/typecheck_*.claro` files and fails when a fixture is missing from the validator's positive or negative lists.