From: Markus Triska <triska@metalevel.at>
Date: Sun, 14 Aug 2022 06:11:15 +0000 (+0200)
Subject: remove entailed must_be/2 goals
X-Git-Tag: v0.9.1^2~38
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=44825826df0820dcb58c2bde3dbadd12acdfd668;p=scryer-prolog.git

remove entailed must_be/2 goals
---

diff --git a/src/lib/files.pl b/src/lib/files.pl
index f0bdaafb..aa18ea78 100644
--- a/src/lib/files.pl
+++ b/src/lib/files.pl
@@ -73,7 +73,6 @@ directory_files(Directory, Files) :-
 
 file_size(File, Size) :-
         file_must_exist(File, file_size/2),
-        must_be(chars, File),
         can_be(integer, Size),
         '$file_size'(File, Size).
 
@@ -95,12 +94,10 @@ make_directory_path(Directory) :-
 
 delete_file(File) :-
         file_must_exist(File, delete_file/1),
-        must_be(chars, File),
         '$delete_file'(File).
 
 rename_file(File, Renamed) :-
         file_must_exist(File, rename_file/2),
-        must_be(chars, File),
         must_be(chars, Renamed),
         '$rename_file'(File, Renamed).