language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 23:31:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Pass ability specializations back down

Browse source
This commit is contained in:
Ayaz Hafiz 2022-05-11 16:19:15 -04:00
parent 3c49c187ba
commit f1e09fbe78
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
5 changed files with 78 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

26
compiler/load_internal/src/file.rs
View file

@ -440,9 +440,32 @@ fn start_phase<'a>(
procs_base,
layout_cache,
module_timing,
abilities_store,
mut abilities_store,
} = found_specializations;
// At this point, we know what specializations our dependents want and what
// ability specializations our dependencies have. But we also need to know what
// ability specializations our dependents have, because those might be used by the
// specializations we've been asked to make.
for (module_id, exposed_types) in state.exposed_types.iter_all() {
if let ExposedModuleTypes::Valid {
solved_specializations,
..
} = exposed_types
{
for (&(member, typ), &specialization) in solved_specializations.iter() {
match abilities_store.get_specialization(member, typ) {
None => abilities_store.register_specialization_for_type(
member,
typ,
specialization,
),
Some(existing) => debug_assert_eq!(existing, specialization),
}
}
}
}
BuildTask::MakeSpecializations {
module_id,
ident_ids,
@ -4151,6 +4174,7 @@ fn make_specializations<'a>(
// TODO: for now this final specialization pass is sequential,
// with no parallelization at all. We should try to parallelize
// this, but doing so will require a redesign of Procs.
dbg!(home, &specializations_we_must_make);
procs = roc_mono::ir::specialize_all(
&mut mono_env,
procs,