// 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));
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]
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");