Merge pull request #2254 from bakaq/issue_1404

Parse as much of a list as possible as a partial string
This commit is contained in:
Mark Thom
2023-12-29 10:40:19 -07:00
committed by GitHub

View File

@@ -97,7 +97,12 @@ pub(crate) fn as_partial_string(
string.push(*c);
}
_ => {
return Err(Term::Cons(Cell::default(), Box::new(head), orig_tail));
tail = Term::Cons(
Cell::default(),
Box::new((**prev).clone()),
Box::new((**succ).clone()),
);
break;
}
}