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

typecheck: explain text subtraction operands

Browse Source
This commit is contained in:
Hermes Agent
2026-09-07 16:44:18 +00:00
parent f88b27ae8c
commit 2e3b1c725f
5 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/CURRENT_STATUS.md
+1 -1
View File
@@ -57,7 +57,7 @@ Ready now:
Still needed:
- Keep the focused typecheck validator's fixture list complete as new positive and negative examples are added.
- The expression checker now carries a known TEXT operand through all arithmetic operators so object-field diagnostics do not hide subtraction, multiplication, or division mistakes; focused numeric-division and numeric-multiplication positives plus text-operand subtraction, multiplication, and division negatives protect this behavior, while operator-specific diagnostics remain planned.
- The expression checker now carries a known TEXT operand through all arithmetic operators so object-field diagnostics do not hide subtraction, multiplication, or division mistakes; focused numeric-division and numeric-multiplication positives plus text-operand subtraction, multiplication, and division negatives protect this behavior. Subtraction now also names the text operand and explains that subtraction needs NUMBER values; multiplication/division-specific guidance remains planned.
- richer typed function signatures and return values
- type checking through branches and loops
- richer object field type checking beyond simple direct assignments