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

remove entailed must_be/2 goals

Browse Source
This commit is contained in:
Markus Triska
2022-08-14 08:11:15 +02:00
committed by Mark Thom
parent 612f09893c
commit 44825826df
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/lib/files.pl
View File

@@ -73,7 +73,6 @@ directory_files(Directory, Files) :-
file_size(File, Size) :- file_size(File, Size) :-
file_must_exist(File, file_size/2), file_must_exist(File, file_size/2),
must_be(chars, File),
can_be(integer, Size), can_be(integer, Size),
'$file_size'(File, Size). '$file_size'(File, Size).
@@ -95,12 +94,10 @@ make_directory_path(Directory) :-
delete_file(File) :- delete_file(File) :-
file_must_exist(File, delete_file/1), file_must_exist(File, delete_file/1),
must_be(chars, File),
'$delete_file'(File). '$delete_file'(File).
rename_file(File, Renamed) :- rename_file(File, Renamed) :-
file_must_exist(File, rename_file/2), file_must_exist(File, rename_file/2),
must_be(chars, File),
must_be(chars, Renamed), must_be(chars, Renamed),
'$rename_file'(File, Renamed). '$rename_file'(File, Renamed).