add Addr::Lis as case in PartialStringTail (#530)

This commit is contained in:
Mark Thom
2020-05-18 12:27:26 -06:00
parent ac755b0ada
commit 041dc039d4
2 changed files with 7 additions and 0 deletions

View File

@@ -92,6 +92,10 @@ fn is_partial_string<'a>(
Term::Constant(_, Constant::EmptyList) => {
return Some((string, None));
}
Term::Constant(_, Constant::String(tail)) => {
string += &tail;
return Some((string, None));
}
_ => {
return None;
}