absolute_file_name/2 should succeed even if file does not exist.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1941 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
c7344ca385
commit
f35f5b9253
@ -561,7 +561,7 @@ absolute_file_name(V,Out) :- var(V), !,
|
||||
'$do_error'(instantiation_error, absolute_file_name(V, Out)).
|
||||
absolute_file_name(user,user) :- !.
|
||||
absolute_file_name(File0,File) :-
|
||||
'$absolute_file_name'(File0,[access(exist),file_type(source),file_errors(fail),solutions(first)],File,absolute_file_name(File0,File)).
|
||||
'$absolute_file_name'(File0,[access(none),file_type(txt),file_errors(fail),solutions(first)],File,absolute_file_name(File0,File)).
|
||||
|
||||
'$find_in_path'(F0,F,G) :-
|
||||
'$absolute_file_name'(F0,[access(read),file_type(source),file_errors(fail),solutions(first)],F,G).
|
||||
|
Reference in New Issue
Block a user