fix trailing whitespace

This commit is contained in:
Folkert 2020-08-09 01:05:29 +02:00
parent f8143e3e53
commit ce3fefb5f0

View file

@ -280,14 +280,12 @@ impl<'a> Context<'a> {
// number of times the argument is used (in the body?) // number of times the argument is used (in the body?)
let num_consumptions = get_num_consumptions(*x, xs, consume_param_pred.clone()); let num_consumptions = get_num_consumptions(*x, xs, consume_param_pred.clone());
let lives_on = // `x` is not a variable that must be consumed by the current procedure
// `x` is not a variable that must be consumed by the current procedure // `x` is live after executing instruction
!info.consume || // `x` is used in a position that is passed as a borrow reference
// `x` is live after executing instruction let lives_on = !info.consume
live_vars_after.contains(x) || || live_vars_after.contains(x)
// `x` is used in a position that is passed as a borrow reference || is_borrow_param_help(*x, xs, consume_param_pred.clone());
is_borrow_param_help(*x, xs, consume_param_pred.clone());
let num_incs = if lives_on { let num_incs = if lives_on {
num_consumptions num_consumptions
@ -493,7 +491,6 @@ impl<'a> Context<'a> {
self.arena.alloc(Stmt::Let(z, v, l, b)) self.arena.alloc(Stmt::Let(z, v, l, b))
} }
EmptyArray | FunctionPointer(_, _) | Literal(_) | RuntimeErrorFunction(_) => { EmptyArray | FunctionPointer(_, _) | Literal(_) | RuntimeErrorFunction(_) => {
// EmptyArray is always stack-allocated // EmptyArray is always stack-allocated
// function pointers are persistent // function pointers are persistent
@ -737,8 +734,7 @@ impl<'a> Context<'a> {
(switch, case_live_vars) (switch, case_live_vars)
} }
RuntimeError(_) | Inc(_,_) | Dec(_,_) => (stmt, MutSet::default()), RuntimeError(_) | Inc(_, _) | Dec(_, _) => (stmt, MutSet::default()),
} }
} }
} }