Remove more dead code

This commit is contained in:
Ayaz Hafiz 2022-12-12 15:48:30 -06:00
parent 22c8719eed
commit 0ef0638862
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -320,7 +320,6 @@ impl<M: MetaCollector> Outcome<M> {
pub struct Env<'a> { pub struct Env<'a> {
pub subs: &'a mut Subs, pub subs: &'a mut Subs,
compute_outcome_only: bool,
seen_recursion: VecSet<(Variable, Variable)>, seen_recursion: VecSet<(Variable, Variable)>,
fixed_variables: VecSet<Variable>, fixed_variables: VecSet<Variable>,
is_inside_lambda_set: bool, is_inside_lambda_set: bool,
@ -330,7 +329,6 @@ impl<'a> Env<'a> {
pub fn new(subs: &'a mut Subs) -> Self { pub fn new(subs: &'a mut Subs) -> Self {
Self { Self {
subs, subs,
compute_outcome_only: false,
seen_recursion: Default::default(), seen_recursion: Default::default(),
fixed_variables: Default::default(), fixed_variables: Default::default(),
is_inside_lambda_set: false, is_inside_lambda_set: false,
@ -3532,7 +3530,6 @@ fn unify_recursion<M: MetaCollector>(
pub fn merge<M: MetaCollector>(env: &mut Env, ctx: &Context, content: Content) -> Outcome<M> { pub fn merge<M: MetaCollector>(env: &mut Env, ctx: &Context, content: Content) -> Outcome<M> {
let mut outcome: Outcome<M> = Outcome::default(); let mut outcome: Outcome<M> = Outcome::default();
if !env.compute_outcome_only {
let rank = ctx.first_desc.rank.min(ctx.second_desc.rank); let rank = ctx.first_desc.rank.min(ctx.second_desc.rank);
let desc = Descriptor { let desc = Descriptor {
content, content,
@ -3549,7 +3546,6 @@ pub fn merge<M: MetaCollector>(env: &mut Env, ctx: &Context, content: Content) -
.record_changed_variable(env.subs, ctx.second); .record_changed_variable(env.subs, ctx.second);
env.subs.union(ctx.first, ctx.second, desc); env.subs.union(ctx.first, ctx.second, desc);
}
outcome outcome
} }