test: cover valid object-field subtraction

This commit is contained in:
Hermes Agent
2026-09-08 00:58:01 +00:00
parent 142d1e846e
commit 7ecaf3fc94
7 changed files with 25 additions and 3 deletions
+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. Subtraction, multiplication, and division name the text operand and explain that the operator needs NUMBER values.
- 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-subtraction, numeric-division, and numeric-multiplication positives plus text-operand subtraction, multiplication, and division negatives protect this behavior. Subtraction, multiplication, and division name the text operand and explain that the operator needs NUMBER values.
- richer typed function signatures and return values
- type checking through branches and loops
- richer object field type checking beyond simple direct assignments