Skip to content

Commit

Permalink
cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
@felipensp
felipensp committed Jan 1, 2025
1 parent a6f19be commit 975336f
Showing 1 changed file with 0 additions and 160 deletions.
160 changes: 0 additions & 160 deletions vlib/v/checker/fn.v
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1890,166 +1890,6 @@ fn (mut c Checker) register_trace_call(node &ast.CallExpr, func &ast.Fn) {
}
}

// fn (mut c Checker) resolve_comptime_args(func &ast.Fn, node_ ast.CallExpr, concrete_types []ast.Type) map[int]ast.Type {
// mut comptime_args := map[int]ast.Type{}
// has_dynamic_vars := (c.table.cur_fn != unsafe { nil } && c.table.cur_fn.generic_names.len > 0)
// || c.comptime.comptime_for_field_var != ''
// if has_dynamic_vars {
// offset := if func.is_method { 1 } else { 0 }
// mut k := -1
// for i, call_arg in node_.args {
// param := if func.is_variadic && i >= func.params.len - (offset + 1) {
// func.params.last()
// } else {
// func.params[offset + i]
// }
// if !param.typ.has_flag(.generic) {
// continue
// }
// k++
// param_typ := param.typ
// if call_arg.expr is ast.Ident {
// if call_arg.expr.obj is ast.Var {
// if call_arg.expr.obj.ct_type_var !in [.generic_var, .generic_param, .no_comptime] {
// mut ctyp := c.type_resolver.get_type(call_arg.expr)
// if ctyp != ast.void_type {
// arg_sym := c.table.sym(ctyp)
// param_sym := c.table.final_sym(param_typ)
// if arg_sym.info is ast.Array && param_sym.kind == .array {
// ctyp = arg_sym.info.elem_type
// } else if arg_sym.info is ast.Map && param_sym.info is ast.Map {
// if param_sym.info.key_type.has_flag(.generic) {
// ctyp = c.unwrap_generic(arg_sym.info.key_type)
// if param_sym.info.value_type.has_flag(.generic) {
// comptime_args[k] = ctyp
// k++
// ctyp = c.unwrap_generic(arg_sym.info.key_type)
// }
// } else if param_sym.info.value_type.has_flag(.generic) {
// ctyp = c.unwrap_generic(arg_sym.info.value_type)
// }
// }
// comptime_args[k] = ctyp
// }
// } else if call_arg.expr.obj.ct_type_var == .generic_param {
// mut ctyp := c.type_resolver.get_type(call_arg.expr)
// if ctyp != ast.void_type {
// arg_sym := c.table.final_sym(call_arg.typ)
// param_typ_sym := c.table.sym(param_typ)
// if param_typ.has_flag(.variadic) {
// ctyp = ast.mktyp(ctyp)
// comptime_args[k] = ctyp
// } else if arg_sym.info is ast.Array && param_typ_sym.kind == .array {
// ctyp = c.get_generic_array_element_type(arg_sym.info)
// comptime_args[k] = ctyp
// } else if arg_sym.kind in [.struct, .interface, .sum_type] {
// mut generic_types := []ast.Type{}
// match arg_sym.info {
// ast.Struct, ast.Interface, ast.SumType {
// if param_typ_sym.generic_types.len > 0 {
// generic_types = param_typ_sym.generic_types.clone()
// } else {
// generic_types = arg_sym.info.generic_types.clone()
// }
// }
// else {}
// }
// generic_names := generic_types.map(c.table.sym(it).name)
// for _, gt_name in c.table.cur_fn.generic_names {
// if gt_name in generic_names
// && generic_types.len == concrete_types.len {
// idx := generic_names.index(gt_name)
// comptime_args[k] = concrete_types[idx]
// break
// }
// }
// } else if arg_sym.kind == .any {
// cparam_type_sym := c.table.sym(c.unwrap_generic(ctyp))
// if param_typ_sym.kind == .array && cparam_type_sym.info is ast.Array {
// comptime_args[k] = cparam_type_sym.info.elem_type
// } else if param_typ_sym.info is ast.Map
// && cparam_type_sym.info is ast.Map {
// key_is_generic := param_typ_sym.info.key_type.has_flag(.generic)
// if key_is_generic {
// comptime_args[k] = cparam_type_sym.info.key_type
// }
// if param_typ_sym.info.value_type.has_flag(.generic) {
// k2 := if key_is_generic { k + 1 } else { k }
// comptime_args[k2] = cparam_type_sym.info.value_type
// if key_is_generic {
// k++
// }
// }
// } else {
// if node_.args[i].expr.is_auto_deref_var() {
// ctyp = ctyp.deref()
// }
// if ctyp.nr_muls() > 0 && param_typ.nr_muls() > 0 {
// ctyp = ctyp.set_nr_muls(0)
// }
// comptime_args[k] = ctyp
// }
// } else {
// comptime_args[k] = ctyp
// }
// }
// } else if call_arg.expr.obj.ct_type_var == .generic_var {
// mut ctyp := c.unwrap_generic(c.type_resolver.get_type(call_arg.expr))
// cparam_type_sym := c.table.sym(c.unwrap_generic(ctyp))
// param_typ_sym := c.table.sym(param_typ)
// if param_typ_sym.kind == .array && cparam_type_sym.info is ast.Array {
// ctyp = cparam_type_sym.info.elem_type
// }
// if node_.args[i].expr.is_auto_deref_var() {
// ctyp = ctyp.deref()
// }
// if ctyp.nr_muls() > 0 && param_typ.nr_muls() > 0 {
// ctyp = ctyp.set_nr_muls(0)
// }
// comptime_args[k] = ctyp
// }
// }
// } else if call_arg.expr is ast.PrefixExpr {
// if call_arg.expr.right is ast.ComptimeSelector {
// comptime_args[k] = c.type_resolver.get_type(call_arg.expr.right)
// comptime_args[k] = comptime_args[k].deref()
// if comptime_args[k].nr_muls() > 0 && param_typ.nr_muls() > 0 {
// comptime_args[k] = comptime_args[k].set_nr_muls(0)
// }
// }
// } else if call_arg.expr is ast.ComptimeSelector {
// ct_value := c.type_resolver.get_type(call_arg.expr)
// param_typ_sym := c.table.sym(param_typ)
// if ct_value != ast.void_type {
// arg_sym := c.table.final_sym(call_arg.typ)
// cparam_type_sym := c.table.sym(c.unwrap_generic(ct_value))
// if param_typ_sym.kind == .array && cparam_type_sym.info is ast.Array {
// comptime_args[k] = cparam_type_sym.info.elem_type
// } else if arg_sym.info is ast.Map && param_typ.has_flag(.generic)
// && c.table.final_sym(param_typ).kind == .map {
// map_info := c.table.final_sym(param_typ).info as ast.Map
// key_is_generic := map_info.key_type.has_flag(.generic)
// if key_is_generic {
// comptime_args[k] = c.unwrap_generic(arg_sym.info.key_type)
// }
// if map_info.value_type.has_flag(.generic) {
// if key_is_generic {
// k++
// }
// comptime_args[k] = c.unwrap_generic(arg_sym.info.key_type)
// }
// } else {
// comptime_args[k] = ct_value
// }
// }
// } else if call_arg.expr is ast.ComptimeCall {
// comptime_args[k] = c.type_resolver.get_type(call_arg.expr)
// }
// }
// }
// return comptime_args
// }

// cast_fixed_array_ret casts a ArrayFixed type created to return to a non returning one
fn (mut c Checker) cast_fixed_array_ret(typ ast.Type, sym ast.TypeSymbol) ast.Type {
if sym.info is ast.ArrayFixed && sym.info.is_fn_ret {
Expand Down

0 comments on commit 975336f

Please sign in to comment.