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

fix failing clippy checks, remove unnecessary code

Browse Source
This commit is contained in:
Mark Thom
2024-04-25 20:05:22 -06:00
parent be23c74b17
commit 5e1effc69a
4 changed files with 16 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/machine/machine_indices.rs
View File

@@ -298,9 +298,11 @@ impl IndexStore {
_ => self
.get_meta_predicate_spec(key.0, key.1, &compilation_target)
.map(|meta_specs| {
meta_specs.iter().find(|meta_spec| match meta_spec {
MetaSpec::Colon | MetaSpec::RequiresExpansionWithArgument(_) => true,
_ => false,
meta_specs.iter().find(|meta_spec| {
matches!(
meta_spec,
MetaSpec::Colon | MetaSpec::RequiresExpansionWithArgument(_)
)
})
})
.map(|meta_spec_opt| meta_spec_opt.is_some())

14
src/machine/system_calls.rs
View File

@@ -428,14 +428,12 @@ impl BrentAlgState {
pstr_chars = pstr.as_str_from(n).chars().count() - 1;
if heap[h].get_tag() == HeapCellValueTag::PStrOffset {
if heap[h_offset].get_tag() == HeapCellValueTag::CStr {
return if pstr_chars < max_steps {
CycleSearchResult::ProperList(pstr_chars + 1)
} else {
let offset = max_steps as usize + n;
CycleSearchResult::PStrLocation(max_steps, h_offset, offset)
}
if heap[h].get_tag() == HeapCellValueTag::PStrOffset && heap[h_offset].get_tag() == HeapCellValueTag::CStr {
return if pstr_chars < max_steps {
CycleSearchResult::ProperList(pstr_chars + 1)
} else {
let offset = max_steps + n;
CycleSearchResult::PStrLocation(max_steps, h_offset, offset)
}
}