From 22886adb5dc622cb76184fa8ef97e2c2234652a8 Mon Sep 17 00:00:00 2001
From: ronny
Date: Mon, 1 Oct 2001 16:30:01 +0000
Subject: pass file modification times from icl module and dcl modules to
 backend

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checksupport.dcl | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'frontend/checksupport.dcl')

diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index f1baa74..6e6688f 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -98,6 +98,9 @@ cConversionTableSize	:== 9 // AA
 	,	icl_imported_objects	:: ![ImportedObject]
 	,	icl_used_module_numbers :: !NumberSet
 	,	icl_copied_from_dcl 	:: !CopiedDefinitions
+// RWS ...
+	,	icl_modification_time	:: !{#Char}
+// ... RWS
 	}
 
 ::	DclModule =
@@ -112,6 +115,7 @@ cConversionTableSize	:== 9 // AA
 	,	dcl_conversions		:: !Optional ConversionTable
 // RWS ...	,	dcl_is_system		:: !Bool
 	,	dcl_module_kind		:: !ModuleKind
+	,	dcl_modification_time:: !{#Char}
 // ... RWS
 	,	dcl_imported_module_numbers :: !NumberSet
 	}
-- 
cgit v1.2.3