aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl11
1 files changed, 8 insertions, 3 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl
index 95b5fc9..f1baa74 100644
--- a/frontend/checksupport.dcl
+++ b/frontend/checksupport.dcl
@@ -53,7 +53,7 @@ cConversionTableSize :== 9 // AA
:: CommonDefs =
{ com_type_defs :: !.{# CheckedTypeDef}
- , com_unexpanded_type_defs :: !{# CheckedTypeDef}
+// , com_unexpanded_type_defs :: !{# CheckedTypeDef}
, com_cons_defs :: !.{# ConsDef}
, com_selector_defs :: !.{# SelectorDef}
, com_class_defs :: !.{# ClassDef}
@@ -83,16 +83,21 @@ cConversionTableSize :== 9 // AA
, di_belonging :: !NumberSet
}
+:: CopiedDefinitions =
+ { copied_type_defs :: [Index]
+ , copied_class_defs :: [Index]
+ }
+
:: IclModule =
{ icl_name :: !Ident
, icl_functions :: !.{# FunDef }
, icl_instances :: !IndexRange
, icl_specials :: !IndexRange
, icl_common :: !.CommonDefs
-// , icl_declared :: !Declarations
- , icl_import :: !{!Declaration}
+ , icl_import :: !{!Declaration}
, icl_imported_objects :: ![ImportedObject]
, icl_used_module_numbers :: !NumberSet
+ , icl_copied_from_dcl :: !CopiedDefinitions
}
:: DclModule =