]> Repositorios git - scryer-prolog.git/commitdiff
fix cargo fmt --check
authorMark <[email protected]>
Thu, 21 Dec 2023 17:24:01 +0000 (10:24 -0700)
committerMark <[email protected]>
Thu, 21 Dec 2023 17:24:01 +0000 (10:24 -0700)
src/machine/stack.rs
src/machine/system_calls.rs

index a300d5f3d9449aba4854ab99146d24939e27d5da..fd465c140710203f163a1b2acf2b66c43c8d2adb 100644 (file)
@@ -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 {
index 3aa4ec73d7e54920b03f642d7d1c9f54a4a7f1e7..2e3c1d54ce39f03dfd1395f7859aa2888604f99f 100644 (file)
@@ -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,
+                    );
                 }
             }
         }