blob: 3b29e8ac2f166cef9929ceb7f439485f0a34b016 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/*
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
/*2.0
from StdFile import class FileSystem,::Files
0.2*/
//1.3
from StdFile import FileSystem, Files
//3.1
// 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
|
