aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2002-04-19 14:36:24 +0000
committerjohnvg2002-04-19 14:36:24 +0000
commitb5157a829d40fca5c4db74fbc036da58e11ccccf (patch)
tree429fcbbd1f64e6ef8513ff3b220bc885130bf6ff
parentsupport for generic type context like in (diff)
docommand.h
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1074 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--backendC/CleanCompilerSources/docommand.h12
1 files changed, 12 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/docommand.h b/backendC/CleanCompilerSources/docommand.h
new file mode 100644
index 0000000..af05aa0
--- /dev/null
+++ b/backendC/CleanCompilerSources/docommand.h
@@ -0,0 +1,12 @@
+#pragma export on
+
+Clean (:: *DoCommandEnvironment :== Int)
+/* Clean (DoCommand command :== DoCommandNullTerminated (command +++ "\0")) */
+
+Clean (DoCommandNullTerminated :: String DoCommandEnvironment -> (Int, DoCommandEnvironment))
+
+/* functions */
+int DoCommandNullTerminated (CleanString command);
+Clean (DoCommandNullTerminated :: String DoCommandEnvironment -> (Int, DoCommandEnvironment))
+
+#pragma export off