Skip to content

Commit 9672045

Browse files
authored
Merge pull request mthom#2410 from aarroyoc/fix-warn-dead-code-elimination
Fix warnings of dead code
2 parents 070f1e8 + f4d2839 commit 9672045

File tree

2 files changed

+0
-26
lines changed

2 files changed

+0
-26
lines changed

src/machine/machine_indices.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,6 @@ use std::collections::BTreeSet;
1818
use std::ops::{Deref, DerefMut};
1919

2020
use crate::types::*;
21-
#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
22-
pub(crate) struct OrderedOpDirKey(pub(crate) Atom, pub(crate) Fixity);
2321

2422
// 7.2
2523
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]

src/machine/unify.rs

Lines changed: 0 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -453,30 +453,6 @@ pub(crate) trait Unifier: DerefMut<Target = MachineState> {
453453
}
454454
}
455455

456-
fn unify_big_num<N>(&mut self, n1: TypedArenaPtr<N>, value: HeapCellValue)
457-
where
458-
N: PartialEq<Rational> + PartialEq<Integer> + PartialEq<i64> + ArenaAllocated,
459-
{
460-
if let Some(r) = value.as_var() {
461-
Self::bind(self, r, typed_arena_ptr_as_cell!(n1));
462-
return;
463-
}
464-
465-
match Number::try_from(value) {
466-
Ok(n2) => match n2 {
467-
Number::Fixnum(n2) if *n1 == n2.get_num() => {}
468-
Number::Integer(n2) if *n1 == *n2 => {}
469-
Number::Rational(n2) if *n1 == *n2 => {}
470-
_ => {
471-
self.fail = true;
472-
}
473-
},
474-
Err(_) => {
475-
self.fail = true;
476-
}
477-
}
478-
}
479-
480456
fn unify_big_integer(&mut self, n1: TypedArenaPtr<Integer>, value: HeapCellValue) {
481457
if let Some(r) = value.as_var() {
482458
Self::bind(self, r, typed_arena_ptr_as_cell!(n1));

0 commit comments

Comments
 (0)