typecheck: validate CALL unknown methods

This commit is contained in:
Hermes Agent
2026-09-02 18:10:02 +00:00
parent bbb5787e80
commit f2acef6a12
6 changed files with 19 additions and 4 deletions
+2 -1
View File
@@ -208,10 +208,11 @@ Object player is not known yet. Create it with NEW ClassName player before calli
Object player is not known yet. Create it with NEW ClassName player before calling player.fly.
```
If the object exists but the class does not declare the method, Claro now names the class and suggests where to add the missing `TEACH` block:
If the object exists but the class does not declare the method, Claro now names the class and suggests where to add the missing `TEACH` block. This is validated for the modern `DO player.fly 5` form and the older compatibility `CALL player.fly WITH 5` form:
```claro
DO player.fly 5
CALL player.fly WITH 5
```
Output: