diff options
| author | ronny | 2001-11-02 06:51:15 +0000 |
|---|---|---|
| committer | ronny | 2001-11-02 06:51:15 +0000 |
| commit | fdf91fe56dee242807a8827a3a4a41dbe0e4ca16 (patch) | |
| tree | 6b3de79c2c65b65aff604118e74667dab4ad07b0 /main/coclmain.dcl | |
| parent | fix bug fix: no it also compiles (diff) | |
removed useless version check for coclmain (coclmain is not in a separate libarary)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@880 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/coclmain.dcl')
| -rw-r--r-- | main/coclmain.dcl | 20 |
1 files changed, 1 insertions, 19 deletions
diff --git a/main/coclmain.dcl b/main/coclmain.dcl index f0a9254..fafabb6 100644 --- a/main/coclmain.dcl +++ b/main/coclmain.dcl @@ -16,25 +16,7 @@ definition module coclmain uses StdEnv compiler - - This library is compiled with profiling code. This means that profiling - should also be enabled in projects that use the coclmain library. - - Note: The interface from coclmain to the compiler is not version checked. - It's safest to build and use a new coclmain library whenever the - type of the compiler's syntax tree changes. */ -// coclMain :: ![{#Char}] !*World -> *World +coclMain :: ![{#Char}] !*World -> *World // testArgs world -coclMain :== coclMainWithVersionCheck CoclMainVersionCurrent CoclMainVersionLatestDef CoclMainVersionLatestImp - -CoclMainVersionCurrent - :== 0x02000205 -CoclMainVersionLatestDef - :== 0x02000205 -CoclMainVersionLatestImp - :== 0x02000205 - -coclMainWithVersionCheck :: !Int !Int !Int ![{#Char}] !*World -> *World -// currentVersion latestDefVersion latestImpVersion testArgs world |