aboutsummaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorjohnvg2005-11-11 13:41:48 +0000
committerjohnvg2005-11-11 13:41:48 +0000
commita16b73abec267ae738dbd8dbe47c9098a4752652 (patch)
treed09891e372818d78363b9c56eba8a2ad950c8e73 /main
parentremove code for compatibility with Clean 1.3 (diff)
remove code for compatibility with Clean 1.3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1560 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main')
-rw-r--r--main/Windows/CoclSystemDependent.dcl6
-rw-r--r--main/Windows/set_return_code.dcl4
-rw-r--r--main/compile.dcl5
-rw-r--r--main/filesystem.dcl5
4 files changed, 0 insertions, 20 deletions
diff --git a/main/Windows/CoclSystemDependent.dcl b/main/Windows/CoclSystemDependent.dcl
index 03df339..9e90a32 100644
--- a/main/Windows/CoclSystemDependent.dcl
+++ b/main/Windows/CoclSystemDependent.dcl
@@ -1,13 +1,7 @@
// this is for Windows
definition module CoclSystemDependent
-//1.3
-from StdString import String
-from StdFile import Files
-//3.1
-/*2.0
from StdFile import ::Files
-0.2*/
// RWS split
// from deltaIOSystem import DeviceSystem
diff --git a/main/Windows/set_return_code.dcl b/main/Windows/set_return_code.dcl
index e8ed7f8..bd7c48b 100644
--- a/main/Windows/set_return_code.dcl
+++ b/main/Windows/set_return_code.dcl
@@ -1,9 +1,5 @@
definition module set_return_code;
-//1.3
-from StdString import String;
-//3.1
-
:: *UniqueWorld :== World;
set_return_code :: !Int !UniqueWorld -> UniqueWorld;
// void set_return_code (int return_code);
diff --git a/main/compile.dcl b/main/compile.dcl
index 5e18ac8..e2ddeac 100644
--- a/main/compile.dcl
+++ b/main/compile.dcl
@@ -3,12 +3,7 @@
*/
definition module compile
-/*2.0
from StdFile import ::Files
-0.2*/
-//1.3
-from StdFile import Files
-//3.1
import checksupport
compile :: ![{#Char}] !*DclCache !*Files -> (!Bool,!*DclCache,!*Files)
diff --git a/main/filesystem.dcl b/main/filesystem.dcl
index 3b29e8a..1af48f5 100644
--- a/main/filesystem.dcl
+++ b/main/filesystem.dcl
@@ -7,12 +7,7 @@
*/
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