diff options
| author | ronny | 2000-02-23 14:55:54 +0000 |
|---|---|---|
| committer | ronny | 2000-02-23 14:55:54 +0000 |
| commit | 763041adf7a1f87addcb5069f203396dc896b3f1 (patch) | |
| tree | 78472565231b153eebf953f64a73b37be1fcec57 /main/coclmain.dcl | |
| parent | Added backend.dll (diff) | |
Initial import
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@100 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/coclmain.dcl')
| -rw-r--r-- | main/coclmain.dcl | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/main/coclmain.dcl b/main/coclmain.dcl new file mode 100644 index 0000000..6366623 --- /dev/null +++ b/main/coclmain.dcl @@ -0,0 +1,37 @@ +definition module coclmain + +/* + The coclmain library + + includes + compile + backend (needs dynamic library backend.dll) + ArgEnv + Version + set_return_code + + 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 +// 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 |