}
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 {
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 {
bp -= offset;
}
_ => {
- return (skeleton.core.clause_clause_locs.back().cloned().unwrap(), bp);
+ return (
+ skeleton.core.clause_clause_locs.back().cloned().unwrap(),
+ bp,
+ );
}
}
}