aboutsummaryrefslogtreecommitdiff
path: root/main/Windows/CoclSystemDependent.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'main/Windows/CoclSystemDependent.dcl')
-rw-r--r--main/Windows/CoclSystemDependent.dcl5
1 files changed, 5 insertions, 0 deletions
diff --git a/main/Windows/CoclSystemDependent.dcl b/main/Windows/CoclSystemDependent.dcl
index bdcddb1..69b9848 100644
--- a/main/Windows/CoclSystemDependent.dcl
+++ b/main/Windows/CoclSystemDependent.dcl
@@ -24,3 +24,8 @@ SystemDependentInitialIO :: [a]
ensureCleanSystemFilesExists :: !String !*Files -> (!Bool, !*Files)
set_compiler_id :: Int -> Int
+
+:: CompileFun st
+ :== ([{#Char}] st -> (Bool, st))
+
+compiler_loop :: (CompileFun *st) *st -> (!Bool, !*st)