rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843)

Browse Source
This commit is contained in:
Mark
2023-06-24 17:03:46 -06:00
parent d9829a3606
commit 0b45d42912
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/machine/disjuncts.rs
View File

@@ -598,6 +598,9 @@ impl VariableClassifier {
if let TraversalState::BuildDisjunct(build_stack_len) = state_stack[final_disjunct_loc] { if let TraversalState::BuildDisjunct(build_stack_len) = state_stack[final_disjunct_loc] {
state_stack[final_disjunct_loc] = TraversalState::BuildFinalDisjunct(build_stack_len); 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 => { Term::Clause(_, atom!("->"), mut terms) if terms.len() == 2 => {
let then_term = terms.pop().unwrap(); let then_term = terms.pop().unwrap();
@@ -632,6 +635,9 @@ impl VariableClassifier {
state_stack.push(TraversalState::Term(not_term)); state_stack.push(TraversalState::Term(not_term));
state_stack.push(TraversalState::GetCutPoint { var_num: self.var_num, prev_b: true }); 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; self.var_num += 1;
} }
Term::Clause(_, atom!(":"), mut terms) if terms.len() == 2 => { Term::Clause(_, atom!(":"), mut terms) if terms.len() == 2 => {