diff options
| author | ronny | 2004-03-17 12:26:47 +0000 |
|---|---|---|
| committer | ronny | 2004-03-17 12:26:47 +0000 |
| commit | a613de0b391f5f95b0496515ec73ac41639af7b2 (patch) | |
| tree | aef2a99b4618c4c8d6588ca53d3f039f6defe9f0 /frontend/checksupport.dcl | |
| parent | ignore rank > 1 quantors in type_io (diff) | |
reification of type definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checksupport.dcl')
| -rw-r--r-- | frontend/checksupport.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl index 924df80..260ec66 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -96,6 +96,7 @@ cConversionTableSize :== 10 , icl_instances :: ![IndexRange] , icl_specials :: !IndexRange , icl_gencases :: ![IndexRange] + , icl_type_funs :: ![IndexRange] , icl_common :: !.CommonDefs , icl_import :: !{!Declaration} , icl_imported_objects :: ![ImportedObject] @@ -112,6 +113,7 @@ cConversionTableSize :== 10 , dcl_macros :: !IndexRange , dcl_specials :: !IndexRange , dcl_gencases :: !IndexRange + , dcl_type_funs :: !IndexRange , dcl_common :: !CommonDefs , dcl_sizes :: !{# Int} , dcl_dictionary_info :: !DictionaryInfo |