diff options
| author | martinw | 2001-03-13 11:34:56 +0000 |
|---|---|---|
| committer | martinw | 2001-03-13 11:34:56 +0000 |
| commit | f7756a5a53a793adc27f61cbdcd9a614e3cc4bdc (patch) | |
| tree | 844b82fc00aecb416d4738130079c32df59fce0c /main/Windows | |
| parent | enabling compiler to create "Clean System Files" folder (diff) | |
enable compiler to create "Clean System Files" folder
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@327 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/Windows')
| -rw-r--r-- | main/Windows/CoclSystemDependent.dcl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/main/Windows/CoclSystemDependent.dcl b/main/Windows/CoclSystemDependent.dcl index 42cf82e..f00a028 100644 --- a/main/Windows/CoclSystemDependent.dcl +++ b/main/Windows/CoclSystemDependent.dcl @@ -1,6 +1,11 @@ // this is for Windows definition module CoclSystemDependent +//1.3 +from StdString import String +//3.1 +from StdFile import Files + // RWS split // from deltaIOSystem import DeviceSystem // from deltaEventIO import InitialIO, IOState @@ -12,3 +17,5 @@ DirectorySeparator SystemDependentDevices :: [a] SystemDependentInitialIO :: [a] + +ensureCleanSystemFilesExists :: !String !*Files -> (!Bool, !*Files) |