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

diff --git a/src/parser/parser.rs b/src/parser/parser.rs
index de2b04a089a4d86067a475810009a6fa44c3beed..473cbe46a500f09c4ec2e00215db9e20ea1c0893 100644 (file)
--- a/src/parser/parser.rs
+++ b/src/parser/parser.rs
@@ -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;
                     }
                 }