From: Mark Thom Date: Tue, 18 May 2021 16:26:06 +0000 (-0600) Subject: Merge pull request #968 from pmoura/add_make_directory_path_predicate X-Git-Tag: v0.9.0~61 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0eeae24049a248ac71224f38b35487ffbcec3d78;p=scryer-prolog.git Merge pull request #968 from pmoura/add_make_directory_path_predicate Add make_directory_path/1 predicate to the files library --- 0eeae24049a248ac71224f38b35487ffbcec3d78 diff --cc src/clause_types.rs index 56ce7e6c,15d14c30..4ceda2f0 --- a/src/clause_types.rs +++ b/src/clause_types.rs @@@ -173,8 -173,8 +173,9 @@@ pub(crate) enum SystemClauseType DirectoryExists, DirectorySeparator, MakeDirectory, + MakeDirectoryPath, DeleteFile, + DeleteDirectory, WorkingDirectory, PathCanonical, FileTime, @@@ -335,8 -335,8 +336,9 @@@ impl SystemClauseType &SystemClauseType::DirectoryExists => clause_name!("$directory_exists"), &SystemClauseType::DirectorySeparator => clause_name!("$directory_separator"), &SystemClauseType::MakeDirectory => clause_name!("$make_directory"), + &SystemClauseType::MakeDirectoryPath => clause_name!("$make_directory_path"), &SystemClauseType::DeleteFile => clause_name!("$delete_file"), + &SystemClauseType::DeleteDirectory => clause_name!("$delete_directory"), &SystemClauseType::WorkingDirectory => clause_name!("$working_directory"), &SystemClauseType::PathCanonical => clause_name!("$path_canonical"), &SystemClauseType::FileTime => clause_name!("$file_time"), @@@ -745,8 -745,8 +747,9 @@@ ("$directory_exists", 1) => Some(SystemClauseType::DirectoryExists), ("$directory_separator", 1) => Some(SystemClauseType::DirectorySeparator), ("$make_directory", 1) => Some(SystemClauseType::MakeDirectory), + ("$make_directory_path", 1) => Some(SystemClauseType::MakeDirectoryPath), ("$delete_file", 1) => Some(SystemClauseType::DeleteFile), + ("$delete_directory", 1) => Some(SystemClauseType::DeleteDirectory), ("$working_directory", 2) => Some(SystemClauseType::WorkingDirectory), ("$path_canonical", 2) => Some(SystemClauseType::PathCanonical), ("$file_time", 3) => Some(SystemClauseType::FileTime), diff --cc src/lib/files.pl index 35dacf09,812ab361..1d9841c9 --- a/src/lib/files.pl +++ b/src/lib/files.pl @@@ -51,8 -51,8 +51,9 @@@ file_exists/1, directory_exists/1, delete_file/1, + delete_directory/1, make_directory/1, + make_directory_path/1, working_directory/2, path_canonical/2, path_segments/2,