tweak codegen
@@ -256,17 +256,19 @@ fn compile_seq_prelude(&mut self,
body: &mut Code)
-> usize
{
+ if num_clauses > 0 {
let perm_vars = vs.vars_above_threshold(0) + deep_cuts as usize;
- if num_clauses > 0 {
body.push(Line::Control(ControlInstruction::Allocate(perm_vars)));
if deep_cuts {
body.push(Line::Cut(CutInstruction::GetLevel));
}
+
+ return perm_vars;
}
- perm_vars
+ 0
}
fn compile_neck_cut_or(&mut self,
