language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-24 06:55:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Remove stray dbgs

Browse source
This commit is contained in:
Ayaz Hafiz 2022-08-01 09:09:37 -05:00
parent 60601dada2
commit b8328c2b5b
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 1 additions and 46 deletions
Download patch file Download diff file Expand all files Collapse all files

13
crates/compiler/solve/src/ability.rs
View file

@ -611,13 +611,6 @@ pub fn resolve_ability_specialization<R: AbilityResolver>(
let snapshot = subs.snapshot();
instantiate_rigids(subs, signature_var);
dbg!((
roc_types::subs::SubsFmtContent(
subs.get_content_without_compacting(specialization_var),
subs
),
roc_types::subs::SubsFmtContent(subs.get_content_without_compacting(signature_var), subs)
));
let (_vars, must_implement_ability, _lambda_sets_to_specialize, _meta) = unify(
&mut Env::new(subs),
specialization_var,
@ -630,12 +623,8 @@ pub fn resolve_ability_specialization<R: AbilityResolver>(
subs.rollback_to(snapshot);
dbg!((&must_implement_ability, parent_ability));
let obligated = type_implementing_specialization(&must_implement_ability, parent_ability)?;
dbg!(&obligated);
let resolved = match obligated {
Obligated::Opaque(symbol) => {
let impl_key = roc_can::abilities::ImplKey {
@ -659,5 +648,5 @@ pub fn resolve_ability_specialization<R: AbilityResolver>(
}
};
dbg!(Some(resolved))
Some(resolved)
}