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

typecheck: validate CALL object method args

Browse Source
This commit is contained in:
Hermes Agent
2026-09-01 19:32:22 +00:00
parent 6edbd587bc
commit 8237792cc3
6 changed files with 30 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/validate_typecheck_diagnostics.py
+4
View File
@@ -29,6 +29,9 @@ EXPECTED = {
"tests/typecheck_method_bad.claro": [
"tests/typecheck_method_bad.claro:11: Type mismatch for method Player.add: parameter points needs NUMBER, but this argument looks like TEXT.",
],
"tests/typecheck_method_call_bad.claro": [
"tests/typecheck_method_call_bad.claro:11: Type mismatch for method Player.add: parameter points needs NUMBER, but this argument looks like TEXT.",
],
"tests/typecheck_method_missing_arg_bad.claro": [
"tests/typecheck_method_missing_arg_bad.claro:11: Method Player.add needs argument points as NUMBER, but this call does not provide it.",
],
@@ -95,6 +98,7 @@ EXPECTED_OK = [
"tests/typecheck_function_good.claro",
"tests/typecheck_function_multi_good.claro",
"tests/typecheck_method_good.claro",
"tests/typecheck_method_call_good.claro",
"tests/typecheck_object_field_good.claro",
"tests/typecheck_object_field_text_good.claro",
"tests/typecheck_object_field_yesno_good.claro",