diff options
| author | ronny | 2001-10-01 16:20:16 +0000 |
|---|---|---|
| committer | ronny | 2001-10-01 16:20:16 +0000 |
| commit | e275a4a0a504b5c766892a9882cdd78b8e5d0b43 (patch) | |
| tree | 702527abeb9a8f78512ee16ea61f31eef43dad7d /main/filesystem.dcl | |
| parent | Add producer class for fusion (diff) | |
moved system independent code to new module "filesystem"
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@807 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/filesystem.dcl')
| -rw-r--r-- | main/filesystem.dcl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/main/filesystem.dcl b/main/filesystem.dcl new file mode 100644 index 0000000..5100e70 --- /dev/null +++ b/main/filesystem.dcl @@ -0,0 +1,16 @@ +/* + module owner: Ronny Wichers Schreur + + This module contains some file functions that are not in StdEnv + It uses the object file from Directory 1.1, but with a different + (stripped down) interface. +*/ +definition module filesystem + +from StdFile import FileSystem, Files + +// return last modified time (local time) as "yyyymmddhhmmss" or "" on error +fmodificationtime :: {#Char} !*env -> (!{#Char}, !*env) | FileSystem env + +// create a directory, if it doesn't exist already +ensureDirectoryExists :: !{#Char} !*env -> (!Bool, !*env) | FileSystem env |