glue: find platform main file

This commit is contained in:
Folkert 2023-08-28 21:31:50 +02:00
parent 738e54ebba
commit 7be590fae9
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C

View File

@ -340,7 +340,6 @@ pub fn load_types(
let function_kind = FunctionKind::LambdaSet;
let arena = &Bump::new();
let LoadedModule {
module_id: home,
mut can_problems,
mut type_problems,
mut declarations_by_id,
@ -372,6 +371,13 @@ pub fn load_types(
}
});
// find the platform's main module
let home = declarations_by_id
.keys()
.find(|id| format!("{id:?}").trim_start_matches("pf.").is_empty())
.copied()
.unwrap();
let decls = declarations_by_id.remove(&home).unwrap();
let subs = solved.inner_mut();