This commit is contained in:
Richard Feldman 2025-10-31 14:29:11 -04:00
parent 0ae5af9ed2
commit d2e2b339b5
No known key found for this signature in database
4 changed files with 3 additions and 8 deletions

View file

@ -496,7 +496,6 @@ fn compileModule(
return error.TypeCheckError;
}
return module_env;
}

View file

@ -664,7 +664,6 @@ fn processAssociatedItemsSecondPass(
const decl_text = self.env.getIdent(decl_ident);
const qualified_idx = try self.env.insertQualifiedIdent(parent_text, decl_text);
// Canonicalize with the qualified name and type annotation
const def_idx = try self.canonicalizeAssociatedDeclWithAnno(
decl,
@ -677,8 +676,7 @@ fn processAssociatedItemsSecondPass(
// Register this associated item by its qualified name
const def_idx_u16: u16 = @intCast(@intFromEnum(def_idx));
try self.env.setExposedNodeIndexById(qualified_idx, def_idx_u16);
} else {
}
} else {}
}
}
},
@ -693,7 +691,6 @@ fn processAssociatedItemsSecondPass(
const name_text = self.env.getIdent(name_ident);
const qualified_idx = try self.env.insertQualifiedIdent(parent_text, name_text);
// Create anno-only def with the qualified name
const def_idx = try self.createAnnoOnlyDef(qualified_idx, type_anno_idx, where_clauses, region);

View file

@ -91,7 +91,6 @@ fn loadCompiledModule(gpa: std.mem.Allocator, bin_data: []const u8, module_name:
};
}
gpa: std.mem.Allocator,
module_env: *ModuleEnv,
parse_ast: *parse.AST,

View file

@ -155,8 +155,8 @@ fn parseCheckAndEvalModuleWithImport(src: []const u8, import_name: []const u8, i
// then explicit imports follow in declaration order
var imported_envs = std.ArrayList(*const ModuleEnv).empty;
defer imported_envs.deinit(gpa);
try imported_envs.append(gpa, builtin_module.env); // Builtin must be first (auto-import)
try imported_envs.append(gpa, imported_module); // Then explicit imports
try imported_envs.append(gpa, builtin_module.env); // Builtin must be first (auto-import)
try imported_envs.append(gpa, imported_module); // Then explicit imports
// Type check the module
var checker = try Check.init(gpa, &module_env.types, module_env, imported_envs.items, &module_envs, &module_env.store.regions, common_idents);