Result with one empty match should be false
This commit is contained in:
@@ -355,7 +355,7 @@ mod tests {
|
|||||||
);
|
);
|
||||||
|
|
||||||
let result = machine.run_query(String::from("subject_class(X, _)."));
|
let result = machine.run_query(String::from("subject_class(X, _)."));
|
||||||
assert_eq!(result, Ok(QueryResolution::True));
|
assert_eq!(result, Ok(QueryResolution::False));
|
||||||
}
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
|
|||||||
@@ -65,11 +65,11 @@ impl From<Vec<QueryResolutionLine>> for QueryResolution {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// If there is only one line, and it is an empty match, return true.
|
// If there is only one line, and it is an empty match, return false.
|
||||||
if query_result_lines.len() == 1 {
|
if query_result_lines.len() == 1 {
|
||||||
if let QueryResolutionLine::Match(m) = query_result_lines[0].clone() {
|
if let QueryResolutionLine::Match(m) = query_result_lines[0].clone() {
|
||||||
if m.is_empty() {
|
if m.is_empty() {
|
||||||
return QueryResolution::True;
|
return QueryResolution::False;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user