partial_string/3 should accept empty lists (#264)

diff --git a/src/prolog/lib/non_iso.pl b/src/prolog/lib/non_iso.pl
index 6c35f7793766b11aea03cf1d39bfebc0f9b387c3..7c7e6dee8e7f89010d1c15570ab3e1ca5fe81d24 100644 (file)
--- 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).