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

test: cover compatibility method unknown returns

Browse Source
This commit is contained in:
Hermes Agent
2026-09-11 07:28:39 +00:00
parent c82d67a34a
commit 1bc33f98d8
5 changed files with 15 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/validate_typecheck_diagnostics.py
+3
View File
@@ -58,6 +58,9 @@ EXPECTED = {
"tests/typecheck_method_unknown_return_expression_bad.claro": [
"tests/typecheck_method_unknown_return_expression_bad.claro:4: Method Player.square's return value could not be understood yet. Use a NUMBER expression after RETURN.",
],
"tests/typecheck_method_compat_unknown_return_expression_bad.claro": [
"tests/typecheck_method_compat_unknown_return_expression_bad.claro:4: Method Player.square's return value could not be understood yet. Use a NUMBER expression after RETURN.",
],
"tests/typecheck_method_field_return_bad.claro": [
"tests/typecheck_method_field_return_bad.claro:5: Type mismatch for return from Player.label: expected TEXT, but this value looks like NUMBER.",
],