comparison src/proto/vim9instr.pro @ 26935:ccb9be1cdd71 v8.2.3996

patch 8.2.3996: Vim9: type checking lacks information about declared type Commit: https://github.com/vim/vim/commit/078a46161e8b1b30bf306d6c1f4f0af7c616a989 Author: Bram Moolenaar <Bram@vim.org> Date: Tue Jan 4 15:17:03 2022 +0000 patch 8.2.3996: Vim9: type checking lacks information about declared type Problem: Vim9: type checking for list and dict lacks information about declared type. Solution: Add dv_decl_type and lv_decl_type. Refactor the type stack to store two types in each entry.
author Bram Moolenaar <Bram@vim.org>
date Tue, 04 Jan 2022 16:30:06 +0100
parents b969fdb8cd46
children 18cafa092e8d
comparison
equal deleted inserted replaced
26934:2d3dd8065e25 26935:ccb9be1cdd71
1 /* vim9instr.c */ 1 /* vim9instr.c */
2 isn_T *generate_instr(cctx_T *cctx, isntype_T isn_type); 2 isn_T *generate_instr(cctx_T *cctx, isntype_T isn_type);
3 isn_T *generate_instr_drop(cctx_T *cctx, isntype_T isn_type, int drop); 3 isn_T *generate_instr_drop(cctx_T *cctx, isntype_T isn_type, int drop);
4 isn_T *generate_instr_type2(cctx_T *cctx, isntype_T isn_type, type_T *type, type_T *decl_type);
4 isn_T *generate_instr_type(cctx_T *cctx, isntype_T isn_type, type_T *type); 5 isn_T *generate_instr_type(cctx_T *cctx, isntype_T isn_type, type_T *type);
5 isn_T *generate_instr_debug(cctx_T *cctx); 6 isn_T *generate_instr_debug(cctx_T *cctx);
6 int may_generate_2STRING(int offset, int tolerant, cctx_T *cctx); 7 int may_generate_2STRING(int offset, int tolerant, cctx_T *cctx);
7 int generate_add_instr(cctx_T *cctx, vartype_T vartype, type_T *type1, type_T *type2, exprtype_T expr_type); 8 int generate_add_instr(cctx_T *cctx, vartype_T vartype, type_T *type1, type_T *type2, exprtype_T expr_type);
8 vartype_T operator_type(type_T *type1, type_T *type2); 9 vartype_T operator_type(type_T *type1, type_T *type2);