From: Markus Triska <triska@metalevel.at>
Date: Mon, 22 Nov 2021 19:00:06 +0000 (+0100)
Subject: use newly available must_be(chars, ...) for fast string tests
X-Git-Tag: v0.9.0~23^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0d4c38138aef1c04e3d9e5fdc0ca98a4a153d5be;p=scryer-prolog.git

use newly available must_be(chars, ...) for fast string tests
---

diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl
index 3c5affa9..5ff611f6 100644
--- a/src/lib/charsio.pl
+++ b/src/lib/charsio.pl
@@ -260,18 +260,11 @@ chars_base64(Cs, Bs, Options) :-
         ;   domain_error(charset, Charset, chars_base64/3)
         ),
         (   var(Cs) ->
-            must_be_characters(Bs),
+            must_be(chars, Bs),
             '$chars_base64'(Cs, Bs, Padding, Charset)
-        ;   must_be_characters(Cs),
+        ;   must_be(chars, Cs),
             (   '$first_non_octet'(Cs, N) ->
                 domain_error(byte_char, N, chars_base64/3)
             ;   '$chars_base64'(Cs, Bs, Padding, Charset)
             )
         ).
-
-must_be_characters(Cs) :-
-        (   partial_string(Cs) ->
-            true
-        ;   must_be(list, Cs),
-            maplist(must_be(character), Cs)
-        ).