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

remove two unecessary clones

Browse Source
This commit is contained in:
Skgland
2025-11-18 21:27:23 +01:00
committed by Bennet Bleßmann
parent e4d9692535
commit bf8651db29
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/machine/lib_machine/mod.rs
View File

@@ -128,9 +128,11 @@ impl Term {
pub fn try_conjunction(value: impl IntoIterator<Item = Term>) -> Option<Self> { pub fn try_conjunction(value: impl IntoIterator<Item = Term>) -> Option<Self> {
let mut iter = value.into_iter(); let mut iter = value.into_iter();
iter.next().map(|first| { iter.next().map(|first| {
Term::try_conjunction(iter) if let Some(rest) = Term::try_conjunction(iter) {
.map(|rest| Term::compound(",", [first.clone(), rest])) Term::compound(",", [first, rest])
.unwrap_or(first) } else {
first
}
}) })
} }
@@ -143,9 +145,11 @@ impl Term {
pub fn try_disjunction(value: impl IntoIterator<Item = Term>) -> Option<Self> { pub fn try_disjunction(value: impl IntoIterator<Item = Term>) -> Option<Self> {
let mut iter = value.into_iter(); let mut iter = value.into_iter();
iter.next().map(|first| { iter.next().map(|first| {
Term::try_disjunction(iter) if let Some(rest) = Term::try_disjunction(iter) {
.map(|rest| Term::compound(";", [first.clone(), rest])) Term::compound(";", [first, rest])
.unwrap_or(first) } else {
first
}
}) })
} }
} }