From dae34b60099cdd000d8dc16513d9d6311c9d2251 Mon Sep 17 00:00:00 2001 From: Mark Date: Wed, 24 May 2023 13:43:52 -0600 Subject: [PATCH] affirm integers as rational/1 (#1810) --- src/machine/dispatch.rs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/machine/dispatch.rs b/src/machine/dispatch.rs index 1d310bcd..a6e7963a 100644 --- a/src/machine/dispatch.rs +++ b/src/machine/dispatch.rs @@ -2600,7 +2600,7 @@ impl Machine { read_heap_cell!(d, (HeapCellValueTag::Cons, ptr) => { match_untyped_arena_ptr!(ptr, - (ArenaHeaderTag::Rational, _r) => { + (ArenaHeaderTag::Rational | ArenaHeaderTag::Integer, _r) => { self.machine_st.p += 1; } _ => { @@ -2608,6 +2608,9 @@ impl Machine { } ); } + (HeapCellValueTag::Fixnum) => { + self.machine_st.p += 1; + } _ => { self.machine_st.backtrack(); } @@ -2619,7 +2622,7 @@ impl Machine { read_heap_cell!(d, (HeapCellValueTag::Cons, ptr) => { match_untyped_arena_ptr!(ptr, - (ArenaHeaderTag::Rational, _r) => { + (ArenaHeaderTag::Rational | ArenaHeaderTag::Integer, _r) => { self.machine_st.p = self.machine_st.cp; } _ => { @@ -2627,6 +2630,9 @@ impl Machine { } ); } + (HeapCellValueTag::Fixnum) => { + self.machine_st.p = self.machine_st.cp; + } _ => { self.machine_st.backtrack(); } -- 2.54.0