rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cargo fmt

Browse Source
This commit is contained in:
Nicolas Luck
2023-12-04 20:18:41 +01:00
parent 99055b553a
commit 24e3e1794e
2 changed files with 13 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
src/machine/lib_machine.rs
View File

@@ -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]