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

feat: add object field CHECK TYPE unknown diagnostic

Browse Source
This commit is contained in:
Hermes Agent
2026-07-09 03:05:55 -06:00
parent ca7c3b51ca
commit f907cfb63c
7 changed files with 36 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
CHANGELOG.md
+5
View File
@@ -1,5 +1,10 @@
# Changelog
## v1.18.26-dev object field CHECK TYPE unknown-field diagnostic
- Added a focused negative `claro typecheck` fixture for direct object-field metadata checks against an undeclared field: `CHECK TYPE player.level IS NUMBER` after `NEW Player player` when the class only declares `HAS score NUMBER`.
- Improved the narrow direct object-field `CHECK TYPE` diagnostic so simple unknown fields name the object class and suggest the matching `HAS level NUMBER` declaration.
## v1.18.26-dev object field CHECK TYPE NUMBER negative validation
- Added a focused negative `claro typecheck` fixture for direct object-field metadata checks: `CHECK TYPE player.score IS TEXT` is rejected after `NEW Player player` and `SET player.score 10` when the class declares `HAS score NUMBER`.