language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 08:34:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Expose ability names

Browse source
This commit is contained in:
Ayaz Hafiz 2022-05-12 08:57:16 -04:00
parent 95395ffc5f
commit 1beb0551cb
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 19 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/builtins/roc/Encode.roc
View file

@ -2,9 +2,9 @@ interface Encode
exposes
[
Encoder,
# Encoding,
Encoding,
toEncoder,
# EncoderFormatting,
EncoderFormatting,
u8, u16, u32, u64, u128,
i8, i16, i32, i64, i128,
f32, f64, dec,

7
compiler/can/src/abilities.rs
View file

@ -187,6 +187,13 @@ impl AbilitiesStore {
self.ability_members.get(&member)
}
/// Iterator over all abilities and their members that this store knows about.
pub fn iter_abilities(&self) -> impl Iterator<Item = (Symbol, &[Symbol])> {
self.members_of_ability
.iter()
.map(|(k, v)| (*k, v.as_slice()))
}
/// Returns an iterator over pairs ((ability member, type), specialization) specifying that
/// "ability member" has a "specialization" for type "type".
pub fn iter_specializations(

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

@ -518,8 +518,16 @@ pub fn canonicalize_module_defs<'a>(
aliases.insert(symbol, alias);
}
for member in scope.abilities_store.root_ability_members().keys() {
exposed_but_not_defined.remove(member);
for (ability, members) in scope
.abilities_store
.iter_abilities()
.filter(|(ab, _)| ab.module_id() == home)
{
exposed_but_not_defined.remove(&ability);
members.iter().for_each(|member| {
debug_assert!(member.module_id() == home);
exposed_but_not_defined.remove(member);
});
}
// By this point, all exposed symbols should have been removed from