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

use newly available character type in must_be/2

Browse Source
This commit is contained in:
Markus Triska
2020-07-11 19:52:01 +02:00
parent eb872f8fca
commit 0fa8feb475
1 changed files with 1 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/files.pl
View File

@@ -57,13 +57,7 @@
list_of_chars(Cs) :- list_of_chars(Cs) :-
must_be(list, Cs), must_be(list, Cs),
( ground(Cs) -> maplist(must_be(character), Cs).
( member(C, Cs), \+ atom_length(C, 1) ->
type_error(char, C, files_and_directories)
; true
)
; instantiation_error(s)
).
directory_files(Directory, Files) :- directory_files(Directory, Files) :-
list_of_chars(Directory), list_of_chars(Directory),