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

typecheck: diagnose missing TO in field annotations

Browse Source
This commit is contained in:
Hermes Agent
2026-09-21 15:47:01 +00:00
parent a4f748b142
commit b1eba07cf1
8 changed files with 19 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+1 -1
View File
@@ -151,7 +151,7 @@ Run static checks with:
./claro typecheck examples/type_hardening.claro
```
Claro provides learner-facing diagnostics for many incorrect variable, function, method, and object-field types. Type checking is still a focused foundation rather than a complete static type system.
Claro provides learner-facing diagnostics for many incorrect variable, function, method, and object-field types. For an explicitly typed object field, the separated form needs both `AS TYPE TO value`, so `SET player.score AS NUMBER` explains how to add `TO` and a value. Type checking is still a focused foundation rather than a complete static type system.
## Files, JSON, and standard helpers