From: Markus Triska <triska@metalevel.at>
Date: Sat, 11 Jul 2020 17:52:01 +0000 (+0200)
Subject: use newly available character type in must_be/2
X-Git-Tag: v0.8.127~14^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0fa8feb4753338aba895a17b76f2fddee8ef6493;p=scryer-prolog.git

use newly available character type in must_be/2
---

diff --git a/src/lib/files.pl b/src/lib/files.pl
index 3d219173..b53b9bbb 100644
--- a/src/lib/files.pl
+++ b/src/lib/files.pl
@@ -57,13 +57,7 @@
 
 list_of_chars(Cs) :-
         must_be(list, Cs),
-        (   ground(Cs) ->
-            (   member(C, Cs), \+ atom_length(C, 1) ->
-                type_error(char, C, files_and_directories)
-            ;   true
-            )
-        ;   instantiation_error(s)
-        ).
+        maplist(must_be(character), Cs).
 
 directory_files(Directory, Files) :-
         list_of_chars(Directory),