clarify what pending means

This commit is contained in:
Folkert 2021-11-15 22:43:32 +01:00
parent db081cd84b
commit 7c4300a7a1
2 changed files with 83 additions and 15 deletions

View file

@ -1381,8 +1381,19 @@ fn instantiate_rigids_help(
var
}
pub fn deep_copy_var_to(
source: &mut Subs, // mut to set the copy
target: &mut Subs,
var: Variable,
) -> Variable {
let mut pools = Pools::default();
let rank = Rank::toplevel();
deep_copy_var_to_help(source, target, rank, &mut pools, var)
}
fn deep_copy_var_to_help(
source: &Subs,
source: &mut Subs, // mut to set the copy
target: &mut Subs,
max_rank: Rank,
pools: &mut Pools,