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

typecheck: diagnose compatibility method unknown fields

Browse Source
This commit is contained in:
Hermes Agent
2026-09-14 15:50:26 +00:00
parent d5950a981b
commit 34ed60cbe8
5 changed files with 16 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/validate_typecheck_diagnostics.py
+3
View File
@@ -284,6 +284,9 @@ EXPECTED = {
"tests/typecheck_method_compat_unknown_field_bad.claro": [
"tests/typecheck_method_compat_unknown_field_bad.claro:5: Object Player has no field level. Check the field name or add HAS level NUMBER to the class.",
],
"tests/typecheck_method_compat_unknown_field_expression_bad.claro": [
"tests/typecheck_method_compat_unknown_field_expression_bad.claro:5: Object Player has no field level. Check the field name or add the field to the class with the right type.",
],
"tests/typecheck_method_unknown_field_check_type_bad.claro": [
"tests/typecheck_method_unknown_field_check_type_bad.claro:5: Object Player has no field level. Check the field name or add HAS level NUMBER to the class.",
],