From: David C. Norris Date: Sun, 10 Aug 2025 22:36:54 +0000 (-0400) Subject: Address CI style complaints X-Git-Tag: v0.10.0~28^2~2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a4c071a44bd454bdc965b4ca744c3cff55cd70e1;p=scryer-prolog.git Address CI style complaints --- diff --git a/src/machine/system_calls/special_math.rs b/src/machine/system_calls/special_math.rs index 907c9748..fab83d55 100644 --- a/src/machine/system_calls/special_math.rs +++ b/src/machine/system_calls/special_math.rs @@ -1,10 +1,10 @@ use crate::machine::Number; +use crate::offset_table::OffsetTable; use crate::Machine; -use crate::offset_table::OffsetTable; // These appear now -use ordered_float::OrderedFloat; // to be required. +use ordered_float::OrderedFloat; +use puruspe::beta::*; use puruspe::error::*; use puruspe::gamma::*; -use puruspe::beta::*; macro_rules! number_as_f64 { ($self: ident, $reg: literal) => {{ @@ -98,7 +98,7 @@ impl Machine { pub(crate) fn beta(&mut self) { let x = number_as_f64!(self, 1); let y = number_as_f64!(self, 2); - let beta_x_y = float_alloc!(beta(x,y), self.machine_st.arena); + let beta_x_y = float_alloc!(beta(x, y), self.machine_st.arena); return_f64_reg!(self, beta_x_y, 3); } @@ -107,7 +107,7 @@ impl Machine { let a = number_as_f64!(self, 1); let b = number_as_f64!(self, 2); let x = number_as_f64!(self, 3); - let betai_a_b_x = float_alloc!(betai(a,b,x), self.machine_st.arena); + let betai_a_b_x = float_alloc!(betai(a, b, x), self.machine_st.arena); return_f64_reg!(self, betai_a_b_x, 4); } @@ -116,7 +116,7 @@ impl Machine { let a = number_as_f64!(self, 1); let b = number_as_f64!(self, 2); let p = number_as_f64!(self, 3); - let x = float_alloc!(invbetai(a,b,p), self.machine_st.arena); + let x = float_alloc!(invbetai(a, b, p), self.machine_st.arena); return_f64_reg!(self, x, 4); }