fix make_directory

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1697 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2006-09-28 16:29:50 +00:00
parent 47a621d236
commit 53b412d1a8
3 changed files with 418 additions and 418 deletions

File diff suppressed because it is too large Load Diff

View File

@ -1,6 +1,6 @@
/* Generated by CHR bootstrap compiler
From: guard_entailment.chr
Date: [84,104,117,32,79,99,116,32,50,55,32,49,54,58,51,54,58,49,52,32,50,48,48,53,10]
Date: [84,104,117,32,83,101,112,32,50,56,32,49,51,58,50,53,58,53,50,32,50,48,48,54,10]
DO NOT EDIT. EDIT THE CHR FILE INSTEAD
*/

View File

@ -217,15 +217,15 @@ make_directory(Dir) :-
var(Dir), !,
throw(error(instantiation_error,mkdir(Dir))).
make_directory(IDir) :-
atom(Dir), !,
atom(IDir), !,
true_file_name(IDir, Dir),
mkdir(Dir,Error),
handle_system_error(Error, off, mkdir(Dir)).
handle_system_error(Error, off, mkdir(IDir)).
make_directory(Dir) :-
throw(error(type_error(atom,Dir),make_directory(Dir))).
rename_file(IOld, New) :-
atom(Old), atom(New), !,
atom(IOld), atom(New), !,
true_file_name(IOld,Old),
rename_file(Old, New, Error),
handle_system_error(Error, off, rename_file(Old, New)).