From e303e5a805e1b8092e7cc7977680866654ac82b6 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 1 Jul 2025 15:47:26 -0700 Subject: [PATCH] correct number_chars (#2976) --- src/machine/system_calls.rs | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs index 24735325..d301a85a 100644 --- a/src/machine/system_calls.rs +++ b/src/machine/system_calls.rs @@ -1002,8 +1002,17 @@ impl MachineState { let err = self.syntax_error(err); return Err(self.error_form(err, stub_gen())); } - Ok(Term::Literal(_, cell)) => { - unify!(self, nx, HeapCellValue::from(cell)); + Ok(Term::Literal(_, Literal::Rational(n))) => { + 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); -- 2.54.0