From c5d2744c045f9ad058cbc799f2434d90a6d83516 Mon Sep 17 00:00:00 2001 From: LemonBoy Date: Sat, 19 Aug 2023 13:02:35 +0200 Subject: patch 9.0.1741: No type checking in interfaces Problem: No type checking in interfaces Solution: Implement member type check in vim9 interfaces Most of the code is a small refactoring to allow the use of a where_T for signaling the type mismatch, the type checking itself is pretty simple. Improve where_T error reports Let the caller explicitly define the kind of location it's referring to and free the WT_ARGUMENT enum from its catch-all role. Implement type checking for interface methods Follows closely the logic used for type-checking the members. closes: #12844 Signed-off-by: Christian Brabandt Co-authored-by: LemonBoy --- src/evalvars.c | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/evalvars.c') diff --git a/src/evalvars.c b/src/evalvars.c index 1033004d79..cb31966bd2 100644 --- a/src/evalvars.c +++ b/src/evalvars.c @@ -3839,8 +3839,11 @@ set_var_const( if (sv != NULL) { // check the type and adjust to bool if needed - where.wt_index = var_idx; - where.wt_variable = TRUE; + if (var_idx > 0) + { + where.wt_index = var_idx; + where.wt_kind = WT_VARIABLE; + } if (check_script_var_type(sv, tv, name, where) == FAIL) goto failed; if (type == NULL) -- cgit v1.2.3