From 0b45d4291240592d942ca8514c5606ecd3731131 Mon Sep 17 00:00:00 2001 From: Mark Date: Sat, 24 Jun 2023 17:03:46 -0600 Subject: [PATCH] mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843) --- src/machine/disjuncts.rs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/machine/disjuncts.rs b/src/machine/disjuncts.rs index 3ef2bbf8..f2a66851 100644 --- a/src/machine/disjuncts.rs +++ b/src/machine/disjuncts.rs @@ -598,6 +598,9 @@ impl VariableClassifier { if let TraversalState::BuildDisjunct(build_stack_len) = state_stack[final_disjunct_loc] { state_stack[final_disjunct_loc] = TraversalState::BuildFinalDisjunct(build_stack_len); } + + self.current_chunk_type = ChunkType::Mid; + self.current_chunk_num += 1; } Term::Clause(_, atom!("->"), mut terms) if terms.len() == 2 => { let then_term = terms.pop().unwrap(); @@ -632,6 +635,9 @@ impl VariableClassifier { state_stack.push(TraversalState::Term(not_term)); state_stack.push(TraversalState::GetCutPoint { var_num: self.var_num, prev_b: true }); + self.current_chunk_type = ChunkType::Mid; + self.current_chunk_num += 1; + self.var_num += 1; } Term::Clause(_, atom!(":"), mut terms) if terms.len() == 2 => { -- 2.54.0