From: Markus Triska <triska@metalevel.at>
Date: Sat, 3 Sep 2022 17:58:51 +0000 (+0200)
Subject: use newly available must_be(chars, ...) for better and shorter type test
X-Git-Tag: v0.9.1^2~18
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=706ab2ae5b02db1533330a297bd1b080e0a38fc5;p=scryer-prolog.git

use newly available must_be(chars, ...) for better and shorter type test
---

diff --git a/src/lib/crypto.pl b/src/lib/crypto.pl
index 25b5ebb6..6473e0d1 100644
--- a/src/lib/crypto.pl
+++ b/src/lib/crypto.pl
@@ -65,8 +65,7 @@
 
 hex_bytes(Hs, Bytes) :-
         (   ground(Hs) ->
-            must_be(list, Hs),
-            maplist(must_be(atom), Hs),
+            must_be(chars, Hs),
             (   phrase(hex_bytes(Hs), Bytes) ->
                 true
             ;   domain_error(hex_encoding, Hs, hex_bytes/2)