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

add instantiation error to skip_max_list

Browse Source
This commit is contained in:
Mark Thom
2018-05-20 12:51:21 -06:00
parent c5386c3e88
commit a60af300fd
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/prolog/machine/system_calls.rs
View File

@@ -106,8 +106,8 @@ impl MachineState {
let max_steps = self.store(self.deref(self[temp_v!(2)].clone())); let max_steps = self.store(self.deref(self[temp_v!(2)].clone()));
match max_steps { match max_steps {
Addr::Con(Constant::Number(Number::Integer(ref max_steps))) Addr::Con(Constant::Number(Number::Integer(ref max_steps))) =>
if max_steps.to_isize().map(|i| i >= -1).unwrap_or(false) => { if max_steps.to_isize().map(|i| i >= -1).unwrap_or(false) {
let n = self.store(self.deref(self[temp_v!(1)].clone())); let n = self.store(self.deref(self[temp_v!(1)].clone()));
match n { match n {
@@ -145,8 +145,13 @@ impl MachineState {
} }
} }
} }
} else {
self.fail = true;
}, },
_ => self.fail = true _ => {
let stub = self.functor_stub(clause_name!("$skip_max_list"), 4);
return Err(self.error_form(self.instantiation_error(), stub));
}
}; };
Ok(()) Ok(())