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

test: cover division return diagnostics

Browse Source
This commit is contained in:
Hermes Agent
2026-09-11 21:52:22 +00:00
parent 54bee65a31
commit fd828112b4
6 changed files with 15 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
### Validate division return diagnostics
- Added focused `claro typecheck` coverage proving that a typed function returning `amount / "oops"` identifies division, the required `NUMBER` operands, and the offending `TEXT` value.
- Wired the negative fixture into the complete typecheck validator and `claro validate` coverage.
### Validate numeric function return expressions
- Added a focused positive typecheck fixture proving that a typed function can return a numeric multiplication expression after `CHECK TYPE` establishes its parameter type.