From 6699a7ce6ee7c0c68deb75d68adc3dddd1e790b2 Mon Sep 17 00:00:00 2001
From: sjakie
Date: Mon, 8 Oct 2001 11:49:17 +0000
Subject: universally quantified attribute variables in typedefs added bug fix:
 combination of caching and omitted clasdefs

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

(limited to 'frontend/checksupport.dcl')

diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index 6e6688f..5057176 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -10,9 +10,6 @@ cModuleScope	:== 0
 cGlobalScope	:== 1
 cRankTwoScope	:== 2
 
-cIsNotADclModule 	:== False
-cIsADclModule 		:== True
-
 cNeedStdArray	:== 1
 cNeedStdEnum	:== 2
 cNeedStdDynamic :== 4
@@ -84,8 +81,8 @@ cConversionTableSize	:== 9 // AA
 	}
 
 ::	CopiedDefinitions =
-	{	copied_type_defs	:: [Index]
-	,	copied_class_defs	:: [Index]
+	{	copied_type_defs	:: {#Bool}
+	,	copied_class_defs	:: {#Bool}
 	}
 	
 ::	IclModule  =
-- 
cgit v1.2.3