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

remove extraneous comments.

Browse Source
This commit is contained in:
Mark Thom
2018-03-17 15:46:12 -06:00
parent a66049a321
commit 23afcdd6d4
1 changed files with 0 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
src/prolog/machine/machine_state_impl.rs
View File

@@ -1198,8 +1198,6 @@ impl MachineState {
} }
fn reset_block(&mut self, addr: Addr) { fn reset_block(&mut self, addr: Addr) {
// let addr = self.deref(self[temp_v!(1)].clone());
match self.store(addr) { match self.store(addr) {
Addr::Con(Constant::Usize(b)) => { Addr::Con(Constant::Usize(b)) => {
self.block = b; self.block = b;
@@ -1505,22 +1503,6 @@ impl MachineState {
}, },
&BuiltInInstruction::SetCutPoint(r) => &BuiltInInstruction::SetCutPoint(r) =>
cut_policy.cut(self, r), cut_policy.cut(self, r),
/*{
let addr = self.store(self.deref(self[r].clone()));
match addr {
Addr::Con(Constant::Usize(nb)) => {
if self.b > nb {
self.b = nb;
self.tidy_trail();
self.or_stack.truncate(self.b);
}
self.p += 1;
},
_ => self.fail = true
};
},*/
&BuiltInInstruction::CleanUpBlock => { &BuiltInInstruction::CleanUpBlock => {
let nb = self.store(self.deref(self[temp_v!(1)].clone())); let nb = self.store(self.deref(self[temp_v!(1)].clone()));