This commit is contained in:
Folkert 2021-05-07 11:00:15 +02:00
parent 9a5c20b7c3
commit fecb83b9c2
15 changed files with 45 additions and 41 deletions

View file

@ -231,10 +231,8 @@ fn insert_jumps<'a>(
None
}
}
Refcounting(modify, cont) => match insert_jumps(arena, cont, goal_id, needle) {
Some(cont) => Some(arena.alloc(Refcounting(*modify, cont))),
None => None,
},
Refcounting(modify, cont) => insert_jumps(arena, cont, goal_id, needle)
.map(|cont| &*arena.alloc(Refcounting(*modify, cont))),
Rethrow => None,
Ret(_) => None,