From 1d03a64a5a8b2f3c4c6f9176563677ca3f585051 Mon Sep 17 00:00:00 2001 From: martinw Date: Fri, 15 Jun 2001 08:59:56 +0000 Subject: making kind checking phase compatible with dcl caching git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@482 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/checksupport.icl | 1 + 1 file changed, 1 insertion(+) (limited to 'frontend/checksupport.icl') diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl index fd82387..0222299 100644 --- a/frontend/checksupport.icl +++ b/frontend/checksupport.icl @@ -120,6 +120,7 @@ where , dcl_conversions :: !Optional ConversionTable , dcl_is_system :: !Bool , dcl_imported_module_numbers :: !NumberSet + , dcl_is_cashed :: !Bool } class Erroradmin state // PK... -- cgit v1.2.3