diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-27 20:17:06 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-27 20:17:06 +0000 |
commit | 8f489dc61cc095daa49c14cfe80114d041965d3a (patch) | |
tree | bb16c5ab677e80269f9c0c5cd70193183805226a /src/interp/sys-os.boot | |
parent | 62d763cdf14aeb8ea9ea956c0e35c2287ea12726 (diff) | |
download | open-axiom-8f489dc61cc095daa49c14cfe80114d041965d3a.tar.gz |
* interp/sys-utility.boot ($ERASE): Remove.
Diffstat (limited to 'src/interp/sys-os.boot')
-rw-r--r-- | src/interp/sys-os.boot | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/interp/sys-os.boot b/src/interp/sys-os.boot index c8567d45..d6c5e8e0 100644 --- a/src/interp/sys-os.boot +++ b/src/interp/sys-os.boot @@ -57,6 +57,8 @@ getWorkingDirectory() == ++ Copy a file. import oa__copy__file: (string,string) -> int for doCopyFile + -- 0: success + -- otherwise: error. copyFile(src,dst) == doCopyFile(src,dst) = 0 => nil @@ -80,6 +82,9 @@ import oa__mkdir: string -> int for mkdir ++ Test whether a path names a directory. import directoryp: string -> int for directoryp + -- -1: path does not exist or access denied + -- 0: path exists but is not directory + -- 1: path designates directory ++ Test whether a file exists and is accessible for read. import readablep: string -> int for readablep |