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

compare functor arity first (#1327)

Browse Source
This commit is contained in:
Mark Thom
2022-03-06 16:37:21 -07:00
parent 2744989cf1
commit 1808597258
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/machine/machine_state_impl.rs
View File

@@ -1720,7 +1720,7 @@ impl MachineState {
let (name, arity) = cell_as_atom_cell!(self.heap[s2]) let (name, arity) = cell_as_atom_cell!(self.heap[s2])
.get_name_and_arity(); .get_name_and_arity();
match (atom!("."), 2).cmp(&(name, arity)) { match (2, atom!(".")).cmp(&(arity, name)) {
Ordering::Equal => { Ordering::Equal => {
tabu_list.insert((l1, s2)); tabu_list.insert((l1, s2));
@@ -1776,7 +1776,7 @@ impl MachineState {
let (n2, a2) = cell_as_atom_cell!(self.heap[s2]) let (n2, a2) = cell_as_atom_cell!(self.heap[s2])
.get_name_and_arity(); .get_name_and_arity();
match (n1,a1).cmp(&(n2,a2)) { match (a1,n1).cmp(&(a2, n2)) {
Ordering::Equal => { Ordering::Equal => {
tabu_list.insert((s1, s2)); tabu_list.insert((s1, s2));
@@ -1801,7 +1801,7 @@ impl MachineState {
let (n1, a1) = cell_as_atom_cell!(self.heap[s1]) let (n1, a1) = cell_as_atom_cell!(self.heap[s1])
.get_name_and_arity(); .get_name_and_arity();
match (n1,a1).cmp(&(atom!("."), 2)) { match (a1,n1).cmp(&(2, atom!("."))) {
Ordering::Equal => { Ordering::Equal => {
self.pdl.push(self.heap[l2]); self.pdl.push(self.heap[l2]);
self.pdl.push(self.heap[s1+1]); self.pdl.push(self.heap[s1+1]);