Initial import

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@100 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

5 files changed, 53 insertions, 0 deletions

diff --git a/main/Windows/Clean System Files/set_return_code.obj b/main/Windows/Clean System Files/set_return_code.obj
new file mode 100644
index 0000000..d832506
--- /dev/null
+++ b/main/Windows/Clean System Files/set_return_code.obj
diff --git a/main/Windows/CoclSystemDependent.dcl b/main/Windows/CoclSystemDependent.dcl
new file mode 100644
index 0000000..42cf82e
--- /dev/null
+++ b/main/Windows/CoclSystemDependent.dcl
@@ -0,0 +1,14 @@
+// this is for Windows
+definition module CoclSystemDependent
+
+// RWS split
+// from deltaIOSystem import DeviceSystem
+// from deltaEventIO import InitialIO, IOState
+
+PathSeparator
+	:==	';'
+DirectorySeparator
+	:== '\\'
+
+SystemDependentDevices :: [a]
+SystemDependentInitialIO :: [a]
diff --git a/main/Windows/CoclSystemDependent.icl b/main/Windows/CoclSystemDependent.icl
new file mode 100644
index 0000000..dc1d17b
--- /dev/null
+++ b/main/Windows/CoclSystemDependent.icl
@@ -0,0 +1,15 @@
+// this is for Windows
+implementation module CoclSystemDependent
+
+PathSeparator
+	:==	';'
+DirectorySeparator
+	:== '\\'
+
+SystemDependentDevices :: [a]
+SystemDependentDevices
+		=	[]
+
+SystemDependentInitialIO :: [a]
+SystemDependentInitialIO
+		=	[]
diff --git a/main/Windows/set_return_code.dcl b/main/Windows/set_return_code.dcl
new file mode 100644
index 0000000..bcbde6f
--- /dev/null
+++ b/main/Windows/set_return_code.dcl
@@ -0,0 +1,7 @@
+definition module set_return_code;
+
+from StdString import String;
+
+:: *UniqueWorld :== World;
+set_return_code :: !Int !UniqueWorld -> UniqueWorld;
+// void set_return_code (int return_code);
diff --git a/main/Windows/set_return_code.icl b/main/Windows/set_return_code.icl
new file mode 100644
index 0000000..780fa84
--- /dev/null
+++ b/main/Windows/set_return_code.icl
@@ -0,0 +1,17 @@
+implementation module set_return_code;
+
+import code from "set_return_code.obj";
+
+from StdString import String;
+
+:: *UniqueWorld :== World;
+
+set_return_code :: !Int !UniqueWorld -> UniqueWorld;
+set_return_code a0 a1 = code
+{
+	ccall set_return_code "I:V:A"
+	fill_a 0 1
+	pop_a 1
+}
+
+// void set_return_code (int return_code);