diff options
Diffstat (limited to 'main/coclmain.icl')
-rw-r--r-- | main/coclmain.icl | 48 |
1 files changed, 2 insertions, 46 deletions
diff --git a/main/coclmain.icl b/main/coclmain.icl index c6f35ce..58d9e14 100644 --- a/main/coclmain.icl +++ b/main/coclmain.icl @@ -3,59 +3,15 @@ */ implementation module coclmain -CoclMainVersion :== 0 - import StdEnv import ArgEnv -import Version import set_return_code import compile -// coclMain :: ![{#Char}] !*World -> *World -// testArgs world -coclMain :== coclMainWithVersionCheck CoclMainVersionCurrent CoclMainVersionLatestDef CoclMainVersionLatestImp - -CoclMainVersionCurrent - :== 0x02000205 -CoclMainVersionLatestDef - :== 0x02000205 -CoclMainVersionLatestImp - :== 0x02000205 - -checkVersion :: VersionsCompatability *File -> (!Bool, !*File) -checkVersion VersionsAreCompatible errorFile - = (True, errorFile) -checkVersion VersionObservedIsTooNew errorFile - # errorFile - = fwrites "[Coclmain] the library is too new\n" errorFile - = (False, errorFile) -checkVersion VersionObservedIsTooOld errorFile - # errorFile - = fwrites "[Coclmain] the library is too old\n" errorFile - = (False, errorFile) - -coclMainWithVersionCheck :: !Int !Int !Int ![{#Char}] !*World -> *World +coclMain :: ![{#Char}] !*World -> *World // currentVersion latestDefVersion latestImpVersion testArgs world -coclMainWithVersionCheck currentVersion latestDefVersion latestImpVersion testArgs world - # observedVersion = - { versionCurrent - = CoclMainVersionCurrent - , versionOldestDefinition - = CoclMainVersionLatestDef - , versionOldestImplementation - = CoclMainVersionLatestImp - } - expectedVersion = - { versionCurrent - = currentVersion - , versionOldestDefinition - = latestDefVersion - , versionOldestImplementation - = latestImpVersion - } - | not (fst (checkVersion (versionCompare expectedVersion observedVersion) stderr)) - = set_return_code (-1) world +coclMain testArgs world # (commandArgs, world) = getCommandArgs (tl [arg \\ arg <-: getCommandLine]) testArgs world # (success, world) |