aboutsummaryrefslogtreecommitdiff
path: root/main/coclmain.icl
diff options
context:
space:
mode:
Diffstat (limited to 'main/coclmain.icl')
-rw-r--r--main/coclmain.icl48
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)