diff options
| author | johnvg | 2000-10-03 14:45:27 +0000 |
|---|---|---|
| committer | johnvg | 2000-10-03 14:45:27 +0000 |
| commit | d2af3ef6e5dfbb262093027d0b7644cac944f8b7 (patch) | |
| tree | 283bfa0b8f6d2e1d2b321a7e8f6f11cd41c79c7a /main | |
| parent | pass dcl cache using DclCache type (diff) | |
use DclCache type
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@245 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main')
| -rw-r--r-- | main/coclmain.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/coclmain.icl b/main/coclmain.icl index 811f76d..18cee66 100644 --- a/main/coclmain.icl +++ b/main/coclmain.icl @@ -54,7 +54,7 @@ coclMainWithVersionCheck currentVersion latestDefVersion latestImpVersion testA | not (fst (checkVersion (versionCompare expectedVersion observedVersion) stderr)) = set_return_code (-1) world # (success, world) - = accFiles (compile commandArgs) world + = accFiles (\files0 -> let (r,cache,files)=compile commandArgs empty_cache files0 in (r,files)) world = set_return_code (if success 0(-1)) world where commandArgs |