Parse as much of a list as possible as a partial string #1404

This commit is contained in:
bakaq
2023-12-28 15:12:32 -03:00
parent 42d6749501
commit 921046e886
+6 -1
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;
}
}