Fix plumbing

This commit is contained in:
tarjei 2021-05-29 22:11:38 +02:00
parent 107822a5cc
commit ade591dd10
6 changed files with 22 additions and 14 deletions

View file

@ -1885,13 +1885,13 @@ fn list_set(symbol: Symbol, var_store: &mut VarStore) -> Def {
}
/// List.swap : List elem, Nat, Nat -> List elem
fn list_drop(symbol: Symbol, var_store: &mut VarStore) -> Def {
fn list_swap(symbol: Symbol, var_store: &mut VarStore) -> Def {
let list_var = var_store.fresh();
let index1_var = var_store.fresh();
let index2_var = var_store.fresh();
let body = RunLowLevel {
op: LowLevel::ListDrop,
op: LowLevel::ListSwap,
args: vec![
(list_var, Var(Symbol::ARG_1)),
(index1_var, Var(Symbol::ARG_2)),