Skip to content

Commit

Permalink
correct style failures
Browse files Browse the repository at this point in the history
  • Loading branch information
Mark Thom committed Nov 11, 2023
1 parent 83b9c61 commit 50c64b8
Show file tree
Hide file tree
Showing 4 changed files with 26 additions and 52 deletions.
43 changes: 20 additions & 23 deletions src/debray_allocator.rs
Original file line number Diff line number Diff line change
Expand Up @@ -166,32 +166,29 @@ impl DebrayAllocator {
for var_num in subsumed_hits {
match &mut self.var_data.records[var_num].allocation {
VarAlloc::Perm(_, ref mut allocation) => {
match allocation {
PermVarAllocation::Done {
shallow_safety,
deep_safety,
..
} => {
if !self
.branch_stack
.safety_unneeded_in_branch(shallow_safety, &branch_designator)
{
let branch_occurrences = self.branch_stack.last_mut().unwrap();
branch_occurrences.shallow_safety.insert(var_num);
}

if !self
.branch_stack
.safety_unneeded_in_branch(deep_safety, &branch_designator)
{
let branch_occurrences = self.branch_stack.last_mut().unwrap();
branch_occurrences.deep_safety.insert(var_num);
}
if let PermVarAllocation::Done {
shallow_safety,
deep_safety,
..
} = allocation
{
if !self
.branch_stack
.safety_unneeded_in_branch(shallow_safety, &branch_designator)
{
let branch_occurrences = self.branch_stack.last_mut().unwrap();
branch_occurrences.shallow_safety.insert(var_num);
}
_ => {

if !self
.branch_stack
.safety_unneeded_in_branch(deep_safety, &branch_designator)
{
let branch_occurrences = self.branch_stack.last_mut().unwrap();
branch_occurrences.deep_safety.insert(var_num);
}
}

*allocation = PermVarAllocation::Pending;
}
_ => unreachable!(),
Expand Down
15 changes: 2 additions & 13 deletions src/forms.rs
Original file line number Diff line number Diff line change
Expand Up @@ -876,7 +876,7 @@ impl ClauseIndexInfo {
}
}

#[derive(Clone, Copy, Debug)]
#[derive(Clone, Copy, Debug, Default)]
pub(crate) struct PredicateInfo {
pub(crate) is_extensible: bool,
pub(crate) is_discontiguous: bool,
Expand All @@ -885,18 +885,7 @@ pub(crate) struct PredicateInfo {
pub(crate) has_clauses: bool,
}

impl Default for PredicateInfo {
#[inline]
fn default() -> Self {
PredicateInfo {
is_extensible: false,
is_discontiguous: false,
is_dynamic: false,
is_multifile: false,
has_clauses: false,
}
}
}


impl PredicateInfo {
#[inline]
Expand Down
10 changes: 2 additions & 8 deletions src/machine/loader.rs
Original file line number Diff line number Diff line change
Expand Up @@ -148,9 +148,10 @@ impl<'a, LS: LoadState<'a>> Drop for Loader<'a, LS> {
}
}

#[derive(Debug, Clone, Copy, Hash, PartialEq, Eq)]
#[derive(Debug, Clone, Copy, Hash, PartialEq, Eq, Default)]
pub enum CompilationTarget {
Module(Atom),
#[default]
User,
}

Expand All @@ -163,13 +164,6 @@ impl fmt::Display for CompilationTarget {
}
}

impl Default for CompilationTarget {
#[inline]
fn default() -> Self {
CompilationTarget::User
}
}

impl CompilationTarget {
#[inline]
pub(crate) fn module_name(&self) -> Atom {
Expand Down
10 changes: 2 additions & 8 deletions src/parser/ast.rs
Original file line number Diff line number Diff line change
Expand Up @@ -327,8 +327,9 @@ impl DoubleQuotes {
}
}

#[derive(Debug, Clone, Copy)]
#[derive(Debug, Clone, Copy, Default)]
pub enum Unknown {
#[default]
Error,
Fail,
Warn,
Expand All @@ -348,13 +349,6 @@ impl Unknown {
}
}

impl Default for Unknown {
#[inline]
fn default() -> Self {
Unknown::Error
}
}

pub fn default_op_dir() -> OpDir {
let mut op_dir = OpDir::with_hasher(FxBuildHasher::default());

Expand Down

0 comments on commit 50c64b8

Please sign in to comment.