rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Markus Triska
2022-09-03 19:58:51 +02:00
committed by Mark Thom
parent 9c1de8e00b
commit 706ab2ae5b
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/lib/crypto.pl
View File

@@ -65,8 +65,7 @@
hex_bytes(Hs, Bytes) :- hex_bytes(Hs, Bytes) :-
( ground(Hs) -> ( ground(Hs) ->
must_be(list, Hs), must_be(chars, Hs),
maplist(must_be(atom), Hs),
( phrase(hex_bytes(Hs), Bytes) -> ( phrase(hex_bytes(Hs), Bytes) ->
true true
; domain_error(hex_encoding, Hs, hex_bytes/2) ; domain_error(hex_encoding, Hs, hex_bytes/2)