diff options
author | LemonBoy <thatlemon@gmail.com> | 2023-08-19 13:02:35 +0200 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2023-08-19 13:04:53 +0200 |
commit | c5d2744c045f9ad058cbc799f2434d90a6d83516 (patch) | |
tree | 76990a51b671ae6ab1973fe1f22d7109befc8b40 /src/evalfunc.c | |
parent | 56bafd7a6a79203b86f7165a7bbac5730c170f64 (diff) |
patch 9.0.1741: No type checking in interfacesv9.0.1741
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 <cb@256bit.org>
Co-authored-by: LemonBoy <thatlemon@gmail.com>
Diffstat (limited to 'src/evalfunc.c')
-rw-r--r-- | src/evalfunc.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/evalfunc.c b/src/evalfunc.c index c0710da119..8561e94d22 100644 --- a/src/evalfunc.c +++ b/src/evalfunc.c @@ -647,6 +647,7 @@ check_map_filter_arg2(type_T *type, argcontext_T *context, int is_map) t_func_exp.tt_argcount = -1; where.wt_index = 2; + where.wt_kind = WT_ARGUMENT; return check_type(&t_func_exp, type, TRUE, where); } return OK; @@ -714,6 +715,7 @@ arg_sort_how(type_T *type, type_T *decl_type UNUSED, argcontext_T *context) if (type->tt_argcount == -1) t_func_exp.tt_argcount = -1; where.wt_index = 2; + where.wt_kind = WT_ARGUMENT; return check_type(&t_func_exp, type, TRUE, where); } |