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

affirm integers as rational/1 (#1810)

Browse Source
This commit is contained in:
Mark
2023-05-24 13:43:52 -06:00
parent 5850125d97
commit dae34b6009
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/machine/dispatch.rs
View File

@@ -2600,7 +2600,7 @@ impl Machine {
read_heap_cell!(d, read_heap_cell!(d,
(HeapCellValueTag::Cons, ptr) => { (HeapCellValueTag::Cons, ptr) => {
match_untyped_arena_ptr!(ptr, match_untyped_arena_ptr!(ptr,
(ArenaHeaderTag::Rational, _r) => { (ArenaHeaderTag::Rational | ArenaHeaderTag::Integer, _r) => {
self.machine_st.p += 1; self.machine_st.p += 1;
} }
_ => { _ => {
@@ -2608,6 +2608,9 @@ impl Machine {
} }
); );
} }
(HeapCellValueTag::Fixnum) => {
self.machine_st.p += 1;
}
_ => { _ => {
self.machine_st.backtrack(); self.machine_st.backtrack();
} }
@@ -2619,7 +2622,7 @@ impl Machine {
read_heap_cell!(d, read_heap_cell!(d,
(HeapCellValueTag::Cons, ptr) => { (HeapCellValueTag::Cons, ptr) => {
match_untyped_arena_ptr!(ptr, match_untyped_arena_ptr!(ptr,
(ArenaHeaderTag::Rational, _r) => { (ArenaHeaderTag::Rational | ArenaHeaderTag::Integer, _r) => {
self.machine_st.p = self.machine_st.cp; 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(); self.machine_st.backtrack();
} }