working completions

This commit is contained in:
Eli Dowling 2024-02-11 10:48:02 +10:00 committed by faldor20
parent f5e32f7e16
commit 3027fc2284
No known key found for this signature in database
GPG key ID: F2216079B890CD57
6 changed files with 238 additions and 29 deletions

View file

@ -46,6 +46,11 @@ pub struct LoadedModule {
pub docs_by_module: Vec<(ModuleId, ModuleDocumentation)>,
pub abilities_store: AbilitiesStore,
pub typechecked: MutMap<ModuleId, CheckedModule>,
pub imports: MutMap<ModuleId, MutSet<ModuleId>>,
pub imported_modules: MutMap<ModuleId, MutMap<ModuleId, Region>>,
pub exposed_imports: MutMap<ModuleId, MutMap<Symbol, Region>>,
pub exposes: MutMap<ModuleId, Vec<(Symbol, Variable)>>,
}
impl LoadedModule {
@ -132,6 +137,10 @@ pub struct TypeCheckedModule<'a> {
#[derive(Debug)]
pub struct CheckedModule {
/// all aliases and their definitions. this has to include non-exposed aliases
/// because exposed aliases can depend on non-exposed ones)
pub aliases: MutMap<Symbol, (bool, Alias)>,
pub solved_subs: Solved<Subs>,
pub decls: Declarations,
pub abilities_store: AbilitiesStore,