vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

checker: check fn field exprs

pull/4665/head
joe-conigliaro 2020-05-01 19:50:32 +10:00
parent 35f56bc4f0
commit 03904085c4
No known key found for this signature in database
GPG Key ID: C12F7136C08206F1
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
vlib/v/checker/checker.v
View File

@ -687,13 +687,17 @@ pub fn (mut c Checker) call_method(call_expr mut ast.CallExpr) table.Type {
return table.string_type
}
// call struct field fn type
// TODO: can we use SelectorExpr for all?
// TODO: can we use SelectorExpr for all? this dosent really belong here
if field := c.table.struct_find_field(left_type_sym, method_name) {
field_type_sym := c.table.get_type_symbol(field.typ)
if field_type_sym.kind == .function {
call_expr.is_method = false
info := field_type_sym.info as table.FnType
call_expr.return_type = info.func.return_type
// TODO: check args (do it once for all of the above)
for i, arg in call_expr.args {
arg_typ := c.expr(arg.expr)
}
return info.func.return_type
}
}
@ -914,6 +918,7 @@ pub fn (mut c Checker) selector_expr(selector_expr mut ast.SelectorExpr) table.T
// println('sel expr line_nr=$selector_expr.pos.line_nr typ=$selector_expr.expr_type')
typ_sym := c.table.get_type_symbol(typ)
field_name := selector_expr.field
println('SELECTOR EXPR: $c.file.path:$selector_expr.pos.line_nr:$selector_expr.pos.pos - $typ_sym.name - $field_name')
// variadic
if typ.flag_is(.variadic) {
if field_name == 'len' {