From 162cd3bbfc513df5c5d72457f6be4fffc5de9915 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 3 Oct 2000 14:38:42 +0000
Subject: pass dcl cache using DclCache type

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@244 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 main/compile.dcl | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'main/compile.dcl')

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
-- 
cgit v1.2.3