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

implement (div)/2 properly (#435)

Browse Source
This commit is contained in:
Mark Thom
2020-05-14 22:25:39 -06:00
parent 6d6f6ed8fc
commit 8754157810
1 changed files with 4 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -268,20 +268,10 @@ impl MachineState {
pub(crate) pub(crate)
fn int_floor_div(&self, n1: Number, n2: Number) -> Result<Number, MachineStub> { fn int_floor_div(&self, n1: Number, n2: Number) -> Result<Number, MachineStub> {
match n1 / n2 { let stub = MachineError::functor_stub(clause_name!("(div)"), 2);
Ok(result) => { let modulus = self.modulus(n1.clone(), n2.clone())?;
Ok(rnd_i(&result).to_owned())
} self.idiv(try_numeric_result!(self, n1 - modulus, stub)?, n2)
Err(e) => {
let stub = MachineError::functor_stub(clause_name!("(div)"), 2);
Err(self.error_form(
MachineError::evaluation_error(
e
),
stub
))
}
}
} }
pub(crate) pub(crate)