diff options
| author | martinw | 2001-06-15 08:59:56 +0000 |
|---|---|---|
| committer | martinw | 2001-06-15 08:59:56 +0000 |
| commit | 1d03a64a5a8b2f3c4c6f9176563677ca3f585051 (patch) | |
| tree | 440f652f5ffbb8043415cd57202770b551937176 /frontend/checksupport.dcl | |
| parent | added new error message (diff) | |
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
Diffstat (limited to 'frontend/checksupport.dcl')
| -rw-r--r-- | frontend/checksupport.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl index 7d3734f..322819c 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -107,6 +107,7 @@ cConversionTableSize :== 9 // AA , dcl_conversions :: !Optional ConversionTable , dcl_is_system :: !Bool , dcl_imported_module_numbers :: !NumberSet + , dcl_is_cashed :: !Bool } class Erroradmin state |