error message for record update and missing module

This commit is contained in:
Folkert 2020-07-14 23:24:30 +02:00
parent 27317110f2
commit 331a8ed5eb
8 changed files with 153 additions and 8 deletions

View file

@ -346,6 +346,10 @@ impl ModuleIds {
pub fn get_name(&self, id: ModuleId) -> Option<&InlinableString> {
self.by_id.get(id.0 as usize)
}
pub fn available_modules(&self) -> impl Iterator<Item = &InlinableString> {
self.by_id.iter()
}
}
/// An ID that is assigned to interned string identifiers within a module.