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

correct number_chars (#2976)

Browse Source
This commit is contained in:
Mark Thom
2025-07-01 15:47:26 -07:00
committed by Mark Thom
parent 762b63e1f4
commit e303e5a805
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/machine/system_calls.rs
View File

@@ -1002,8 +1002,17 @@ impl MachineState {
let err = self.syntax_error(err); let err = self.syntax_error(err);
return Err(self.error_form(err, stub_gen())); return Err(self.error_form(err, stub_gen()));
} }
Ok(Term::Literal(_, cell)) => { Ok(Term::Literal(_, Literal::Rational(n))) => {
unify!(self, nx, HeapCellValue::from(cell)); self.unify_rational(n, nx);
}
Ok(Term::Literal(_, Literal::F64Offset(n))) => {
self.unify_f64(n, nx);
}
Ok(Term::Literal(_, Literal::Integer(n))) => {
self.unify_big_int(n, nx);
}
Ok(Term::Literal(_, Literal::Fixnum(n))) => {
self.unify_fixnum(n, nx);
} }
_ => { _ => {
let err = ParserError::ParseBigInt(0, 0); let err = ParserError::ParseBigInt(0, 0);