diff options
Diffstat (limited to 'main/Unix/CoclSystemDependent.dcl')
| -rw-r--r-- | main/Unix/CoclSystemDependent.dcl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/main/Unix/CoclSystemDependent.dcl b/main/Unix/CoclSystemDependent.dcl index 7469dd6..c07763b 100644 --- a/main/Unix/CoclSystemDependent.dcl +++ b/main/Unix/CoclSystemDependent.dcl @@ -22,5 +22,10 @@ SystemDependentDevices :: [a] 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) + |