From: Skgland Date: Fri, 5 Jun 2026 18:45:18 +0000 (+0200) Subject: fix lint warnings X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a236d00d7defd2b236d14fe302c1c312d7a8dc62;p=scryer-prolog.git fix lint warnings --- diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs index 821c0aa5..a319c08a 100644 --- a/src/machine/system_calls.rs +++ b/src/machine/system_calls.rs @@ -4685,7 +4685,7 @@ impl Machine { let http_listener = HttpListener { incoming: rx, - warp_shutdown: warp_shutdown, + warp_shutdown, }; let http_listener: TypedArenaPtr = arena_alloc!(http_listener, &mut self.machine_st.arena); @@ -4750,7 +4750,7 @@ impl Machine { Err(_) => unreachable!(), } - return false; + false } #[cfg(feature = "http")] diff --git a/tests/scryer/helper.rs b/tests/scryer/helper.rs index 4f3168aa..77dc09a2 100644 --- a/tests/scryer/helper.rs +++ b/tests/scryer/helper.rs @@ -32,8 +32,6 @@ impl Expectable for &[u8] { /// Tests whether the file can be successfully loaded /// and produces the expected output during it pub(crate) fn load_module_test(file: &str, expected: T) { - use scryer_prolog::MachineBuilder; - let mut wam = MachineBuilder::default().build(); expected.assert_eq(wam.test_load_file(file).as_slice()); } @@ -43,8 +41,6 @@ pub(crate) fn load_module_test_with_input( input: impl Into>, expected: T, ) { - use scryer_prolog::MachineBuilder; - let mut wam = MachineBuilder::default() .with_streams(StreamConfig::in_memory().with_user_input(InputStreamConfig::string(input))) .build();