From: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
Date: Mon, 27 May 2024 17:52:02 +0000 (+0200)
Subject: Fix warnings of dead code
X-Git-Tag: v0.10.0~133^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f4d2839dc780023952809b8d7dcccb71df8ce239;p=scryer-prolog.git

Fix warnings of dead code
---

diff --git a/src/machine/machine_indices.rs b/src/machine/machine_indices.rs
index 830cc91f..856c7766 100644
--- a/src/machine/machine_indices.rs
+++ b/src/machine/machine_indices.rs
@@ -18,8 +18,6 @@ use std::collections::BTreeSet;
 use std::ops::{Deref, DerefMut};
 
 use crate::types::*;
-#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
-pub(crate) struct OrderedOpDirKey(pub(crate) Atom, pub(crate) Fixity);
 
 // 7.2
 #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
diff --git a/src/machine/unify.rs b/src/machine/unify.rs
index b045552b..7cd3df06 100644
--- a/src/machine/unify.rs
+++ b/src/machine/unify.rs
@@ -453,30 +453,6 @@ pub(crate) trait Unifier: DerefMut<Target = MachineState> {
         }
     }
 
-    fn unify_big_num<N>(&mut self, n1: TypedArenaPtr<N>, value: HeapCellValue)
-    where
-        N: PartialEq<Rational> + PartialEq<Integer> + PartialEq<i64> + ArenaAllocated,
-    {
-        if let Some(r) = value.as_var() {
-            Self::bind(self, r, typed_arena_ptr_as_cell!(n1));
-            return;
-        }
-
-        match Number::try_from(value) {
-            Ok(n2) => match n2 {
-                Number::Fixnum(n2) if *n1 == n2.get_num() => {}
-                Number::Integer(n2) if *n1 == *n2 => {}
-                Number::Rational(n2) if *n1 == *n2 => {}
-                _ => {
-                    self.fail = true;
-                }
-            },
-            Err(_) => {
-                self.fail = true;
-            }
-        }
-    }
-
     fn unify_big_integer(&mut self, n1: TypedArenaPtr<Integer>, value: HeapCellValue) {
         if let Some(r) = value.as_var() {
             Self::bind(self, r, typed_arena_ptr_as_cell!(n1));