From 24e3e1794e773e87b7d735b61674ed1c1240661f Mon Sep 17 00:00:00 2001 From: Nicolas Luck Date: Mon, 4 Dec 2023 20:18:41 +0100 Subject: [PATCH] cargo fmt --- src/machine/lib_machine.rs | 22 +++++++++++----------- src/machine/machine_errors.rs | 11 ++--------- 2 files changed, 13 insertions(+), 20 deletions(-) diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs index 9d166c51..240f1777 100644 --- a/src/machine/lib_machine.rs +++ b/src/machine/lib_machine.rs @@ -197,8 +197,11 @@ impl Machine { // println!("Result: {} = {}", var_key.to_string(), output); if var_key.to_string() != output { - bindings.insert(var_key.to_string(), Value::try_from(output).expect("Couldn't convert Houtput to Value")); - } + bindings.insert( + var_key.to_string(), + Value::try_from(output).expect("Couldn't convert Houtput to Value"), + ); + } } matches.push(QueryResolutionLine::Match(bindings)); @@ -345,17 +348,14 @@ mod tests { let mut machine = Machine::new_lib(); machine.load_module_string( "facts", - r#" + r#" :- discontiguous(subject_class/2). - "#.to_string()); - - let result = machine.run_query(String::from( - "subject_class(X, _).", - )); - assert_eq!( - result, - Ok(QueryResolution::True) + "# + .to_string(), ); + + let result = machine.run_query(String::from("subject_class(X, _).")); + assert_eq!(result, Ok(QueryResolution::True)); } #[test] diff --git a/src/machine/machine_errors.rs b/src/machine/machine_errors.rs index 02133f32..49d56510 100644 --- a/src/machine/machine_errors.rs +++ b/src/machine/machine_errors.rs @@ -497,18 +497,11 @@ impl MachineState { let stub = functor!( atom!("module_does_not_contain_claimed_export"), - [ - atom(module_name), - str(self.heap.len() + 4, 0) - ], + [atom(module_name), str(self.heap.len() + 4, 0)], [functor_stub] ); - self.permission_error( - Permission::Access, - atom!("private_procedure"), - stub, - ) + self.permission_error(Permission::Access, atom!("private_procedure"), stub) } SessionError::ModuleCannotImportSelf(module_name) => { let error_atom = atom!("module_cannot_import_self"); -- 2.54.0