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

Module aliases passed into LoadedModule, and used in docs to generate docs for aliases exposed by the module

Browse source
This commit is contained in:
Chadtech 2021-06-19 13:35:57 -04:00
parent fe3919f66e
commit 9d2976f14f
2 changed files with 24 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/load/src/file.rs
View file

@ -621,6 +621,7 @@ pub struct LoadedModule {
pub type_problems: MutMap<ModuleId, Vec<solve::TypeError>>,
pub declarations_by_id: MutMap<ModuleId, Vec<Declaration>>,
pub exposed_to_host: MutMap<Symbol, Variable>,
pub exposed_aliases: MutMap<Symbol, Alias>,
pub header_sources: MutMap<ModuleId, (PathBuf, Box<str>)>,
pub sources: MutMap<ModuleId, (PathBuf, Box<str>)>,
pub timings: MutMap<ModuleId, ModuleTiming>,
@ -763,6 +764,7 @@ enum Msg<'a> {
FinishedAllTypeChecking {
solved_subs: Solved<Subs>,
exposed_vars_by_symbol: MutMap<Symbol, Variable>,
exposed_aliases_by_symbol: MutMap<Symbol, Alias>,
documentation: MutMap<ModuleId, ModuleDocumentation>,
},
FoundSpecializations {
@ -1510,6 +1512,7 @@ where
Msg::FinishedAllTypeChecking {
solved_subs,
exposed_vars_by_symbol,
exposed_aliases_by_symbol,
documentation,
} => {
// We're done! There should be no more messages pending.
@ -1525,6 +1528,7 @@ where
return Ok(LoadResult::TypeChecked(finish(
state,
solved_subs,
exposed_aliases_by_symbol,
exposed_vars_by_symbol,
documentation,
)));
@ -1939,6 +1943,7 @@ fn update<'a>(
.send(Msg::FinishedAllTypeChecking {
solved_subs,
exposed_vars_by_symbol: solved_module.exposed_vars_by_symbol,
exposed_aliases_by_symbol: solved_module.aliases,
documentation,
})
.map_err(|_| LoadingProblem::MsgChannelDied)?;
@ -2263,6 +2268,7 @@ fn finish_specialization(
fn finish(
state: State,
solved: Solved<Subs>,
exposed_aliases_by_symbol: MutMap<Symbol, Alias>,
exposed_vars_by_symbol: MutMap<Symbol, Variable>,
documentation: MutMap<ModuleId, ModuleDocumentation>,
) -> LoadedModule {
@ -2290,6 +2296,10 @@ fn finish(
.map(|(id, (path, src))| (id, (path, src.into())))
.collect();
dbg!(&exposed_vars_by_symbol);
let exposed_aliases = exposed_aliases_by_symbol;
// todo!("Get exposed aliases");
LoadedModule {
module_id: state.root_id,
interns,
@ -2298,6 +2308,7 @@ fn finish(
type_problems: state.module_cache.type_problems,
declarations_by_id: state.declarations_by_id,
exposed_to_host: exposed_vars_by_symbol.into_iter().collect(),
exposed_aliases,
header_sources,
sources,
timings: state.timings,