v2: improve and enable the parallel checker

Author: medvednikov

vlib/v2/builder/builder.v

@@ -14,14 +14,16 @@ import v2.ssa
 import v2.ssa.optimize
 import v2.token
 import v2.transform
+import v2.types
 import time
 
 struct Builder {
 	pref &pref.Preferences
 mut:
 	files      []ast.File
 	user_files []string // original user-provided files (for output name)
-	file_set   &token.FileSet = token.FileSet.new()
+	file_set   &token.FileSet     = token.FileSet.new()
+	env        &types.Environment = unsafe { nil } // Type checker environment
 }
 
 pub fn new_builder(prefs &pref.Preferences) &Builder {
@@ -42,7 +44,13 @@ pub fn (mut b Builder) build(files []string) {
 	}
 	parse_time := sw.elapsed()
 
-	// b.type_check_files()
+	b.env = if b.pref.skip_type_check {
+		types.Environment.new()
+	} else if b.pref.no_parallel {
+		b.type_check_files()
+	} else {
+		b.type_check_files_parallel()
+	}
 	type_check_time := time.Duration(sw.elapsed() - parse_time)
 
 	// Generate output based on backend
@@ -153,7 +161,7 @@ fn (mut b Builder) gen_native(backend_arch pref.Arch) {
 
 	// Build all files into a single SSA module
 	mut mod := ssa.Module.new('main')
-	mut ssa_builder := ssa.Builder.new(mod)
+	mut ssa_builder := ssa.Builder.new_with_env(mod, b.env)
 	mut t := transform.Transformer.new()
 
 	// Transform all files first

vlib/v2/builder/type_check.v

@@ -1,26 +1,10 @@
 module builder
 
-import v2.ast
 import v2.types
-// import v2.util
-// import runtime
 
-fn type_check_worker(ch_in chan []ast.File, ch_out chan string) {
-	for {
-		// ast_files := <- ch_in or { break }
-	}
-}
-
-fn (mut b Builder) type_check_files() {
-	// mod := types.new_module('main', '')
+fn (mut b Builder) type_check_files() &types.Environment {
 	env := types.Environment.new()
 	mut checker := types.Checker.new(b.pref, b.file_set, env)
 	checker.check_files(b.files)
-
-	// mut ch_in := chan []ast.File{cap: 1000}
-	// mut ch_out := chan string{cap: 1000}
-	// mut worker_pool := util.WorkerPool.new[[]ast.File, string](mut ch_in, mut ch_out)	
-	// for _ in 0..runtime.nr_jobs() {
-	// 	worker_pool.workers << spawn type_check_worker(ch_in, ch_out)
-	// }
+	return env
 }

vlib/v2/parser/parser.v

@@ -1154,8 +1154,9 @@ fn (mut p Parser) expr(min_bp token.BindingPower) ast.Expr {
 				pos:   pos
 			}
 		}
-		// range
-		else if p.tok in [.dotdot, .ellipsis] {
+		// range - only create RangeExpr at lowest precedence to avoid
+		// consuming `..` inside higher-precedence expressions like `a + b..`
+		else if min_bp == .lowest && p.tok in [.dotdot, .ellipsis] {
 			// p.log('ast.RangeExpr')
 			// no need to continue
 			return ast.RangeExpr{

vlib/v2/pref/pref.v

@@ -21,15 +21,16 @@ pub enum Arch {
 
 pub struct Preferences {
 pub mut:
-	debug        bool
-	verbose      bool
-	skip_genv    bool
-	skip_builtin bool
-	skip_imports bool
-	no_parallel  bool = true // default to sequential parsing until parallel is fixed
-	backend      Backend
-	arch         Arch = .auto
-	output_file  string
+	debug           bool
+	verbose         bool
+	skip_genv       bool
+	skip_builtin    bool
+	skip_imports    bool
+	skip_type_check bool // Skip type checking phase (for backends that don't need it yet)
+	no_parallel     bool = true // default to sequential parsing until parallel is fixed
+	backend         Backend
+	arch            Arch = .auto
+	output_file     string
 pub:
 	vroot         string = os.dir(@VEXE)
 	vmodules_path string = os.vmodules_dir()
@@ -69,15 +70,16 @@ pub fn new_preferences_from_args(args []string) Preferences {
 	// Default to sequential parsing (no_parallel=true) unless --parallel is specified
 	use_parallel := '--parallel' in options
 	return Preferences{
-		debug:        '--debug' in options || '-d' in options
-		verbose:      '--verbose' in options || '-v' in options
-		skip_genv:    '--skip-genv' in options
-		skip_builtin: '--skip-builtin' in options
-		skip_imports: '--skip-imports' in options
-		no_parallel:  !use_parallel
-		backend:      backend
-		arch:         arch
-		output_file:  output_file
+		debug:           '--debug' in options || '-d' in options
+		verbose:         '--verbose' in options || '-v' in options
+		skip_genv:       '--skip-genv' in options
+		skip_builtin:    '--skip-builtin' in options
+		skip_imports:    '--skip-imports' in options
+		skip_type_check: '--skip-type-check' in options
+		no_parallel:     !use_parallel
+		backend:         backend
+		arch:            arch
+		output_file:     output_file
 	}
 }
 
@@ -105,14 +107,15 @@ pub fn new_preferences_using_options(options []string) Preferences {
 	use_parallel := '--parallel' in options
 	return Preferences{
 		// config flags
-		debug:        '--debug' in options || '-d' in options
-		verbose:      '--verbose' in options || '-v' in options
-		skip_genv:    '--skip-genv' in options
-		skip_builtin: '--skip-builtin' in options
-		skip_imports: '--skip-imports' in options
-		no_parallel:  !use_parallel
-		backend:      backend
-		arch:         arch
+		debug:           '--debug' in options || '-d' in options
+		verbose:         '--verbose' in options || '-v' in options
+		skip_genv:       '--skip-genv' in options
+		skip_builtin:    '--skip-builtin' in options
+		skip_imports:    '--skip-imports' in options
+		skip_type_check: '--skip-type-check' in options
+		no_parallel:     !use_parallel
+		backend:         backend
+		arch:            arch
 	}
 }
 

vlib/v2/ssa/builder.v

@@ -14,6 +14,9 @@ mut:
 	cur_func  int     = -1
 	cur_block BlockID = -1
 
+	// Type checker environment with populated scopes
+	env &types.Environment = unsafe { nil }
+
 	// Maps AST variable name to SSA ValueID (pointer to stack slot)
 	vars map[string]ValueID
 
@@ -68,6 +71,10 @@ struct LoopInfo {
 }
 
 pub fn Builder.new(mod &Module) &Builder {
+	return Builder.new_with_env(mod, unsafe { nil })
+}
+
+pub fn Builder.new_with_env(mod &Module, env &types.Environment) &Builder {
 	mut b := &Builder{
 		mod:                  mod
 		vars:                 map[string]ValueID{}
@@ -88,9 +95,48 @@ pub fn Builder.new(mod &Module) &Builder {
 		type_alias_bases:     map[string]string{}
 		enum_names:           map[string]bool{}
 	}
+	unsafe {
+		b.env = env
+	}
 	return b
 }
 
+// lookup_type_in_scope looks up a type by name in the environment's scopes.
+// First tries module scope, then builtin scope.
+// Returns none if not found or if env is nil.
+fn (b &Builder) lookup_type_in_scope(name string, module_name string) ?types.Type {
+	if b.env == unsafe { nil } {
+		return none
+	}
+	// Try module scope first
+	mut scope := lock b.env.scopes {
+		b.env.scopes[module_name] or {
+			// Try builtin scope as fallback
+			b.env.scopes['builtin'] or { return none }
+		}
+	}
+	if obj := scope.lookup_parent(name, 0) {
+		if obj is types.Type {
+			return obj
+		}
+	}
+	return none
+}
+
+// lookup_struct_type looks up a struct type by name from the environment.
+// Falls back to the local struct_types map if not found in environment.
+fn (mut b Builder) lookup_struct_type(name string) ?types.Struct {
+	// Try environment first
+	if typ := b.lookup_type_in_scope(name, 'builtin') {
+		if typ is types.Struct {
+			return typ
+		}
+	}
+	// Fallback: check if we have it in struct_types but can't get full info
+	// This path is used when type checker is skipped
+	return none
+}
+
 // Convert v2.types.Type to SSA TypeID
 fn (mut b Builder) type_to_ssa(t types.Type) TypeID {
 	match t {