diff options
| author | ronny | 2002-06-11 09:41:13 +0000 |
|---|---|---|
| committer | ronny | 2002-06-11 09:41:13 +0000 |
| commit | 9cfa6e6c6e1759f3806a4f15ad608aa3d4e1dfe4 (patch) | |
| tree | 9c22eb8e784405a703f2b51824cca287295ca44b /main/Windows/CoclSystemDependent.dcl | |
| parent | Moved system dependent code from coclmain to CoclSystemDependent (diff) | |
Moved system dependent code from coclmain to CoclSystemDependent
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1091 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/Windows/CoclSystemDependent.dcl')
| -rw-r--r-- | main/Windows/CoclSystemDependent.dcl | 5 |
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) |