diff options
| author | johnvg | 2004-04-29 11:14:45 +0000 |
|---|---|---|
| committer | johnvg | 2004-04-29 11:14:45 +0000 |
| commit | e0d042aa73c67f8cb3de5a98fe81861d1b7754d0 (patch) | |
| tree | 55be147892a36e61a0fdf8ad3fa29cd910190af1 /main/Windows/CoclSystemDependent.dcl | |
| parent | add set_compiler_id and get_compiler_id (diff) | |
pass compiler_id in message to the IDE
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1493 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/Windows/CoclSystemDependent.dcl')
| -rw-r--r-- | main/Windows/CoclSystemDependent.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/Windows/CoclSystemDependent.dcl b/main/Windows/CoclSystemDependent.dcl index 992fa23..03df339 100644 --- a/main/Windows/CoclSystemDependent.dcl +++ b/main/Windows/CoclSystemDependent.dcl @@ -23,6 +23,6 @@ SystemDependentInitialIO :: [a] ensureCleanSystemFilesExists :: !String !*Files -> (!Bool, !*Files) -set_compiler_id :: Int -> Int +set_compiler_id :: !Int -> Int compiler_loop :: ([{#Char}] *st -> *(Bool, *st)) *st -> (!Bool, !*st) |