blob: 1af48f5d578310947e4a321bec8b7907f566e758 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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 class 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
|
