From 564622e38b33480d6054fbcab7e3b7f4e2eb40c1 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 21 Feb 2020 12:55:33 -0700
Subject: [PATCH] partial_string/3 should accept empty lists (#264)

---
 src/prolog/lib/non_iso.pl | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/prolog/lib/non_iso.pl b/src/prolog/lib/non_iso.pl
index 6c35f779..7c7e6dee 100644
--- a/src/prolog/lib/non_iso.pl
+++ b/src/prolog/lib/non_iso.pl
@@ -158,12 +158,13 @@ set_random(Seed) :-
     ).
 
 partial_string(String, L, L0) :-
-    (  String == [] -> throw(error(type_error(list, []), partial_string/3))
+    (  String == [] ->
+       L = L0
     ;  catch(atom_chars(Atom, String),
 	     error(E, _),
-	     throw(error(E, partial_string/3)))
-    ),
-    '$create_partial_string'(Atom, L, L0).
+	     throw(error(E, partial_string/3))),
+       '$create_partial_string'(Atom, L, L0)
+    ).
 
 partial_string(String) :-
     '$is_partial_string'(String).
-- 
2.54.0