Remove stray dbgs

This commit is contained in:
Ayaz Hafiz 2022-04-12 16:32:50 -04:00
parent 64b559073d
commit cbbbb8c855
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
4 changed files with 4 additions and 9 deletions

View file

@ -522,8 +522,6 @@ pub fn canonicalize_defs<'a>(
.register_ability(loc_ability_name.value, can_members);
}
dbg!(&scope.abilities_store, pattern_type);
// Now that we have the scope completely assembled, and shadowing resolved,
// we're ready to canonicalize any body exprs.

View file

@ -166,7 +166,7 @@ pub fn canonicalize_def_header_pattern<'a>(
match pattern {
// Identifiers that shadow ability members may appear (and may only appear) at the header of a def.
Identifier(name) => match scope.introduce_or_shadow_ability_member(
dbg!((*name).into()),
(*name).into(),
&env.exposed_ident_ids,
&mut env.ident_ids,
region,

View file

@ -248,17 +248,14 @@ impl Scope {
all_ident_ids: &mut IdentIds,
region: Region,
) -> Result<(Symbol, Option<Symbol>), (Region, Loc<Ident>, Symbol)> {
match dbg!(self.idents.get(&ident)) {
match self.idents.get(&ident) {
Some(&(original_symbol, original_region)) => {
let shadow_ident_id = all_ident_ids.add(ident.clone());
let shadow_symbol = Symbol::new(self.home, shadow_ident_id);
self.symbols.insert(shadow_symbol, region);
if self
.abilities_store
.is_ability_member_name(dbg!(original_symbol))
{
if self.abilities_store.is_ability_member_name(original_symbol) {
self.abilities_store
.register_specializing_symbol(shadow_symbol, original_symbol);
// Add a symbol for the shadow, but don't re-associate the member name.