make dbg transparent to refcounting

This commit is contained in:
Folkert 2022-12-22 00:47:43 +01:00
parent 1286878d39
commit f76df8a356
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
10 changed files with 215 additions and 28 deletions

View file

@ -249,6 +249,26 @@ fn insert_jumps<'a>(
}
}
Dbg {
symbol,
variable,
remainder,
} => match insert_jumps(
arena,
remainder,
goal_id,
needle,
needle_arguments,
needle_result,
) {
Some(cont) => Some(arena.alloc(Dbg {
symbol: *symbol,
variable: *variable,
remainder: cont,
})),
None => None,
},
Expect {
condition,
region,