From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 21 Feb 2020 19:55:33 +0000 (-0700)
Subject: partial_string/3 should accept empty lists (#264)
X-Git-Tag: v0.8.119~78
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=564622e38b33480d6054fbcab7e3b7f4e2eb40c1;p=scryer-prolog.git

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 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).