From a7154968d85c2f6bf1c36372cc387125f6b6c6ec Mon Sep 17 00:00:00 2001 From: Mark Date: Thu, 21 Dec 2023 10:24:01 -0700 Subject: [PATCH] fix cargo fmt --check --- src/machine/stack.rs | 4 +--- src/machine/system_calls.rs | 13 +++++++++++-- 2 files changed, 12 insertions(+), 5 deletions(-) diff --git a/src/machine/stack.rs b/src/machine/stack.rs index a300d5f3..fd465c14 100644 --- a/src/machine/stack.rs +++ b/src/machine/stack.rs @@ -204,9 +204,7 @@ impl Stack { } pub(crate) fn top(&self) -> usize { - unsafe { - (*self.buf.ptr.get()) as usize - self.buf.base as usize - } + unsafe { (*self.buf.ptr.get()) as usize - self.buf.base as usize } } pub(crate) fn allocate_or_frame(&mut self, num_cells: usize) -> usize { diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs index 3aa4ec73..2e3c1d54 100644 --- a/src/machine/system_calls.rs +++ b/src/machine/system_calls.rs @@ -1201,7 +1201,13 @@ impl Machine { match &self.code[bp] { Instruction::IndexingCode(ref indexing_code) => { let indexing_code_ptr = match &indexing_code[0] { - &IndexingLine::Indexing(IndexingInstruction::SwitchOnTerm(_, _, c, _, s)) => { + &IndexingLine::Indexing(IndexingInstruction::SwitchOnTerm( + _, + _, + c, + _, + s, + )) => { if key.1 > 0 { s } else { @@ -1260,7 +1266,10 @@ impl Machine { bp -= offset; } _ => { - return (skeleton.core.clause_clause_locs.back().cloned().unwrap(), bp); + return ( + skeleton.core.clause_clause_locs.back().cloned().unwrap(), + bp, + ); } } } -- 2.54.0