diff options
| author | johnvg | 2000-10-03 14:38:42 +0000 |
|---|---|---|
| committer | johnvg | 2000-10-03 14:38:42 +0000 |
| commit | 162cd3bbfc513df5c5d72457f6be4fffc5de9915 (patch) | |
| tree | b834dbd9d419f3edd8974bb1e6041eb10d73f161 /main/compile.dcl | |
| parent | comment before import RWSDebug (diff) | |
pass dcl cache using DclCache type
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@244 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/compile.dcl')
| -rw-r--r-- | main/compile.dcl | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/main/compile.dcl b/main/compile.dcl index f4c0953..68495c5 100644 --- a/main/compile.dcl +++ b/main/compile.dcl @@ -1,5 +1,16 @@ definition module compile from StdFile import Files +import checksupport -compile :: [{#Char}] *Files -> (!Bool, !*Files) +compile :: ![{#Char}] !*DclCache !*Files -> (!Bool,!*DclCache,!*Files) + +:: DclCache = { + dcl_modules::!{#DclModule}, + functions_and_macros::!{#FunDef}, + predef_symbols::!.PredefinedSymbols, + hash_table::!.HashTable, + heaps::!.Heaps + }; + +empty_cache :: *DclCache |