language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 14:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

record referenced types

Browse source
This commit is contained in:
Folkert 2022-03-13 17:51:43 +01:00
parent 4ef6cba23a
commit b3f7b3a337
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 12 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

31
compiler/can/src/module.rs
View file

@ -257,21 +257,18 @@ pub fn canonicalize_module_defs<'a>(
} }
let mut referenced_values = MutSet::default(); let mut referenced_values = MutSet::default();
let mut referenced_types = MutSet::default();
// Gather up all the symbols that were referenced across all the defs' lookups. // Gather up all the symbols that were referenced across all the defs' lookups.
for symbol in output.references.value_lookups.iter() { referenced_values.extend(output.references.value_lookups);
referenced_values.insert(*symbol); referenced_types.extend(output.references.type_lookups);
}
// Gather up all the symbols that were referenced across all the defs' calls. // Gather up all the symbols that were referenced across all the defs' calls.
for symbol in output.references.calls.iter() { referenced_values.extend(output.references.calls);
referenced_values.insert(*symbol);
}
// Gather up all the symbols that were referenced from other modules. // Gather up all the symbols that were referenced from other modules.
for symbol in env.qualified_value_lookups.iter() { referenced_values.extend(env.qualified_value_lookups.iter().copied());
referenced_values.insert(*symbol); referenced_types.extend(env.qualified_type_lookups.iter().copied());
}
// add any builtins used by other builtins // add any builtins used by other builtins
let transitive_builtins: Vec<Symbol> = referenced_values let transitive_builtins: Vec<Symbol> = referenced_values
@ -461,19 +458,15 @@ pub fn canonicalize_module_defs<'a>(
} }
// Incorporate any remaining output.lookups entries into references. // Incorporate any remaining output.lookups entries into references.
for symbol in output.references.value_lookups { referenced_values.extend(output.references.value_lookups);
referenced_values.insert(symbol); referenced_types.extend(output.references.type_lookups);
}
// Incorporate any remaining output.calls entries into references. // Incorporate any remaining output.calls entries into references.
for symbol in output.references.calls { referenced_values.extend(output.references.calls);
referenced_values.insert(symbol);
}
// Gather up all the symbols that were referenced from other modules. // Gather up all the symbols that were referenced from other modules.
for symbol in env.qualified_value_lookups.iter() { referenced_values.extend(env.qualified_value_lookups.iter().copied());
referenced_values.insert(*symbol); referenced_types.extend(env.qualified_type_lookups.iter().copied());
}
for declaration in declarations.iter_mut() { for declaration in declarations.iter_mut() {
match declaration { match declaration {
@ -502,7 +495,7 @@ pub fn canonicalize_module_defs<'a>(
rigid_variables, rigid_variables,
declarations, declarations,
referenced_values, referenced_values,
referenced_types: Default::default(), // TODO referenced_types,
exposed_imports: can_exposed_imports, exposed_imports: can_exposed_imports,
problems: env.problems, problems: env.problems,
lookups, lookups,