diff options
Diffstat (limited to 'main/Unix/CoclSystemDependent.dcl')
| -rw-r--r-- | main/Unix/CoclSystemDependent.dcl | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/main/Unix/CoclSystemDependent.dcl b/main/Unix/CoclSystemDependent.dcl index c07763b..36deff6 100644 --- a/main/Unix/CoclSystemDependent.dcl +++ b/main/Unix/CoclSystemDependent.dcl @@ -24,8 +24,5 @@ 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) +compiler_loop :: ([{#Char}] *st -> *(Bool, *st)) *st -> (!Bool, !*st) |