aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/convertcases.dcl10
-rw-r--r--frontend/convertcases.icl124
-rw-r--r--frontend/convertimportedtypes.dcl34
-rw-r--r--frontend/convertimportedtypes.icl125
-rw-r--r--frontend/frontend.icl2
5 files changed, 161 insertions, 134 deletions
diff --git a/frontend/convertcases.dcl b/frontend/convertcases.dcl
index 5e24391..372a3a7 100644
--- a/frontend/convertcases.dcl
+++ b/frontend/convertcases.dcl
@@ -6,16 +6,6 @@ convertCasesOfFunctions :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*
!ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap
-> (!ImportedFunctions, !*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap)
-convertImportedTypeSpecifications :: !Int !{# DclModule} !{# {# FunType} } !{# CommonDefs} !ImportedConstructors !ImportedFunctions
- !*{# {#CheckedTypeDef}} !*TypeHeaps !*VarHeap -> (!*{#{#CheckedTypeDef}}, !*TypeHeaps, !*VarHeap)
-
-convertDclModule :: !Int !{# DclModule} !{# CommonDefs} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps
- -> (!*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps)
-
-convertIclModule :: !Int !{# CommonDefs} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps
- -> (!*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps)
-
-
newFunction :: !(Optional Ident) !FunctionBody ![FreeVar] ![AType] !AType !Int !(!Int, ![FunctionInfoPtr],!*FunctionHeap)
-> (! SymbIdent, !(!Int, ![FunctionInfoPtr],!*FunctionHeap))
diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl
index c61c3af..d71639d 100644
--- a/frontend/convertcases.icl
+++ b/frontend/convertcases.icl
@@ -1,6 +1,6 @@
implementation module convertcases
-import syntax, transform, checksupport, StdCompare, check, utilities, trans, general // , RWSDebug
+import syntax, checksupport, trans
:: *ConversionInfo =
{ ci_new_functions :: ![FunctionInfoPtr]
@@ -466,8 +466,6 @@ toOptionalFreeVar (Yes (var_info_ptr, type)) var_heap
toOptionalFreeVar No var_heap
= (No, var_heap)
-cDontRemoveAnnatations :== False
-
addNewFunctionsToGroups :: !{#.CommonDefs} FunctionHeap ![FunctionInfoPtr] !Int !*{! Group} !*{#{# CheckedTypeDef}} !ImportedFunctions !*TypeHeaps !*VarHeap
-> (!*{! Group}, ![FunDef], !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*TypeHeaps, !*VarHeap)
addNewFunctionsToGroups common_defs fun_heap new_functions main_dcl_module_n groups imported_types imported_conses type_heaps var_heap
@@ -552,126 +550,6 @@ where
split (SK_Constructor cons_symb) (collected_functions, collected_conses)
= (collected_functions, [ cons_symb : collected_conses])
-convertDclModule :: !Int !{# DclModule} !{# CommonDefs} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps
- -> (!*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps)
-convertDclModule main_dcl_module_n dcl_mods common_defs imported_types imported_conses var_heap type_heaps
- # {dcl_functions,dcl_common=dcl_common=:{com_type_defs,com_cons_defs,com_selector_defs},dcl_conversions} = dcl_mods.[main_dcl_module_n]
- = case dcl_conversions of
- Yes conversion_table
- # (icl_type_defs, imported_types) = imported_types![main_dcl_module_n]
- common_defs = { common \\ common <-: common_defs }
- common_defs = { common_defs & [main_dcl_module_n] = dcl_common }
- types_and_heaps = convert_dcl_functions dcl_functions common_defs ( { imported_types & [main_dcl_module_n] = com_type_defs }, imported_conses, var_heap, type_heaps)
- types_and_heaps = convertConstructorTypes com_cons_defs main_dcl_module_n common_defs types_and_heaps
- (imported_types, imported_conses, var_heap, type_heaps) = convertSelectorTypes com_selector_defs main_dcl_module_n common_defs types_and_heaps
- -> ({ imported_types & [main_dcl_module_n] = icl_type_defs}, imported_conses, var_heap, type_heaps)
- No
- -> (imported_types, imported_conses, var_heap, type_heaps)
-where
- convert_dcl_functions dcl_functions common_defs types_and_heaps
- = iFoldSt (convert_dcl_function dcl_functions common_defs) 0 (size dcl_functions) types_and_heaps
-
- convert_dcl_function dcl_functions common_defs dcl_index (imported_types, imported_conses, var_heap, type_heaps)
- # {ft_type, ft_type_ptr} = dcl_functions.[dcl_index]
- (ft_type, imported_types, imported_conses, type_heaps, var_heap)
- = convertSymbolType cDontRemoveAnnatations common_defs ft_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
- = (imported_types, imported_conses, var_heap <:= (ft_type_ptr, VI_ExpandedType ft_type), type_heaps)
-
-convertConstructorTypes cons_defs main_dcl_module_n common_defs types_and_heaps
- = iFoldSt (convert_constructor_type common_defs cons_defs) 0 (size cons_defs) types_and_heaps
-where
- convert_constructor_type common_defs cons_defs cons_index (imported_types, imported_conses, var_heap, type_heaps)
- # {cons_type_ptr, cons_type} = cons_defs.[cons_index]
- (cons_type, imported_types, imported_conses, type_heaps, var_heap)
- = convertSymbolType cDontRemoveAnnatations common_defs cons_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
- = (imported_types, imported_conses, var_heap <:= (cons_type_ptr, VI_ExpandedType cons_type), type_heaps)
-
-
-convertSelectorTypes selector_defs main_dcl_module_n common_defs types_and_heaps
- = iFoldSt (convert_selector_type common_defs selector_defs) 0 (size selector_defs) types_and_heaps
-where
- convert_selector_type common_defs selector_defs sel_index (imported_types, imported_conses, var_heap, type_heaps)
- # {sd_type_ptr, sd_type} = selector_defs.[sel_index]
- (sd_type, imported_types, imported_conses, type_heaps, var_heap)
- = convertSymbolType cDontRemoveAnnatations common_defs sd_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
- = (imported_types, imported_conses, var_heap <:= (sd_type_ptr, VI_ExpandedType sd_type), type_heaps)
-
-convertIclModule :: !Int !{# CommonDefs} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps
- -> (!*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps)
-convertIclModule main_dcl_module_n common_defs imported_types imported_conses var_heap type_heaps
- # types_and_heaps = convertConstructorTypes common_defs.[main_dcl_module_n].com_cons_defs main_dcl_module_n common_defs (imported_types, imported_conses, var_heap, type_heaps)
- = convertSelectorTypes common_defs.[main_dcl_module_n].com_selector_defs main_dcl_module_n common_defs types_and_heaps
-
-convertImportedTypeSpecifications :: !Int !{# DclModule} !{# {# FunType} } !{# CommonDefs} !ImportedConstructors !ImportedFunctions
- !*{# {#CheckedTypeDef}} !*TypeHeaps !*VarHeap -> (!*{#{#CheckedTypeDef}}, !*TypeHeaps, !*VarHeap)
-convertImportedTypeSpecifications main_dcl_module_n dcl_mods dcl_functions common_defs imported_conses imported_functions imported_types type_heaps var_heap
- # {dcl_common={com_type_defs},dcl_conversions} = dcl_mods.[main_dcl_module_n]
- = case dcl_conversions of
- Yes conversion_table
- # abstract_type_indexes = iFoldSt (determine_abstract_type com_type_defs) 0 (size com_type_defs) []
- | isEmpty abstract_type_indexes
- -> convert_imported_type_specs dcl_functions common_defs imported_conses imported_functions imported_types type_heaps var_heap
- # (icl_type_defs, imported_types) = imported_types![main_dcl_module_n]
- type_defs = foldSt (insert_abstract_type conversion_table.[cTypeDefs]) abstract_type_indexes { icl_type_def \\ icl_type_def <-: icl_type_defs }
- (imported_types, type_heaps, var_heap)
- = convert_imported_type_specs dcl_functions common_defs imported_conses imported_functions
- { imported_types & [main_dcl_module_n] = type_defs } type_heaps var_heap
- -> ({ imported_types & [main_dcl_module_n] = icl_type_defs }, type_heaps, var_heap)
- No
- -> convert_imported_type_specs dcl_functions common_defs imported_conses imported_functions imported_types type_heaps var_heap
-
-
-where
- determine_abstract_type dcl_type_defs type_index abstract_type_indexes
- # {td_rhs} = dcl_type_defs.[type_index]
- = case td_rhs of
- AbstractType _
- -> [type_index : abstract_type_indexes]
- _
- -> abstract_type_indexes
-
- insert_abstract_type conversion_table type_index type_defs
- # icl_index = conversion_table.[type_index]
- (type_def, type_defs) = type_defs![icl_index]
- = { type_defs & [icl_index] = { type_def & td_rhs = AbstractType cAllBitsClear }}
-
- convert_imported_type_specs dcl_functions common_defs imported_conses imported_functions imported_types type_heaps var_heap
- # (imported_types, imported_conses, type_heaps, var_heap)
- = foldSt (convert_imported_function dcl_functions common_defs) imported_functions (imported_types, imported_conses, type_heaps, var_heap)
- = convert_imported_constructors common_defs imported_conses imported_types type_heaps var_heap
-
- convert_imported_function dcl_functions common_defs {glob_object,glob_module} (imported_types, imported_conses, type_heaps, var_heap)
- # {ft_type_ptr,ft_type} = dcl_functions.[glob_module].[glob_object]
- (ft_type, imported_types, imported_conses, type_heaps, var_heap)
- = convertSymbolType cDontRemoveAnnatations common_defs ft_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
- = (imported_types, imported_conses, type_heaps, var_heap <:= (ft_type_ptr, VI_ExpandedType ft_type))
-
- convert_imported_constructors common_defs [] imported_types type_heaps var_heap
- = (imported_types, type_heaps, var_heap)
- convert_imported_constructors common_defs [ {glob_module, glob_object} : conses ] imported_types type_heaps var_heap
- # {com_cons_defs,com_selector_defs} = common_defs.[glob_module]
- {cons_type_ptr,cons_type,cons_type_index,cons_symb} = common_defs.[glob_module].com_cons_defs.[glob_object]
- (cons_type, imported_types, conses, type_heaps, var_heap)
- = convertSymbolType cDontRemoveAnnatations common_defs cons_type main_dcl_module_n imported_types conses type_heaps var_heap
- var_heap = var_heap <:= (cons_type_ptr, VI_ExpandedType cons_type)
- ({td_rhs}, imported_types) = imported_types![glob_module].[cons_type_index]
-// ---> ("convert_imported_constructors", cons_symb, cons_type)
- = case td_rhs of
- RecordType {rt_fields}
- # (imported_types, conses, type_heaps, var_heap)
- = iFoldSt (convert_type_of_imported_field glob_module com_selector_defs rt_fields) 0 (size rt_fields)
- (imported_types, conses, type_heaps, var_heap)
- -> convert_imported_constructors common_defs conses imported_types type_heaps var_heap
- _
- -> convert_imported_constructors common_defs conses imported_types type_heaps var_heap
- where
- convert_type_of_imported_field module_index selector_defs fields field_index (imported_types, conses, type_heaps, var_heap)
- # field_index = fields.[field_index].fs_index
- {sd_type_ptr,sd_type} = selector_defs.[field_index]
- (sd_type, imported_types, conses, type_heaps, var_heap)
- = convertSymbolType cDontRemoveAnnatations common_defs sd_type main_dcl_module_n imported_types conses type_heaps var_heap
- = (imported_types, conses, type_heaps, var_heap <:= (sd_type_ptr, VI_ExpandedType sd_type))
-
convertRootExpression bound_vars group_index common_defs default_ptr (Let lad=:{let_strict_binds,let_lazy_binds,let_expr,let_info_ptr}) ci=:{ci_expr_heap}
# (EI_LetType let_type, ci_expr_heap) = readPtr let_info_ptr ci_expr_heap
bound_vars = addLetVars (let_strict_binds ++ let_lazy_binds) let_type bound_vars
diff --git a/frontend/convertimportedtypes.dcl b/frontend/convertimportedtypes.dcl
new file mode 100644
index 0000000..cf2c418
--- /dev/null
+++ b/frontend/convertimportedtypes.dcl
@@ -0,0 +1,34 @@
+definition module convertimportedtypes
+
+import syntax, transform, trans
+
+/*
+convertCasesOfFunctions :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}}
+ !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap
+ -> (!ImportedFunctions, !*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap)
+*/
+convertImportedTypeSpecifications :: !Int !{# DclModule} !{# {# FunType} } !{# CommonDefs} !ImportedConstructors !ImportedFunctions
+ !*{# {#CheckedTypeDef}} !*TypeHeaps !*VarHeap -> (!*{#{#CheckedTypeDef}}, !*TypeHeaps, !*VarHeap)
+
+convertDclModule :: !Int !{# DclModule} !{# CommonDefs} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps
+ -> (!*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps)
+
+convertIclModule :: !Int !{# CommonDefs} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps
+ -> (!*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps)
+
+/*
+newFunction :: !(Optional Ident) !FunctionBody ![FreeVar] ![AType] !AType !Int !(!Int, ![FunctionInfoPtr],!*FunctionHeap)
+ -> (! SymbIdent, !(!Int, ![FunctionInfoPtr],!*FunctionHeap))
+
+
+:: TypedVariable =
+ { tv_free_var :: !FreeVar
+ , tv_type :: !AType
+ }
+
+copyExpression :: ![TypedVariable] !Expression !*VarHeap -> (![Expression], ![TypedVariable], ![FreeVar], !Expression, !*VarHeap)
+
+addNewFunctionsToGroups :: !{#.CommonDefs} FunctionHeap ![FunctionInfoPtr] !Int !*{! Group} !*{#{# CheckedTypeDef}} !ImportedFunctions !*TypeHeaps !*VarHeap
+ -> (!*{! Group}, ![FunDef], !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*TypeHeaps, !*VarHeap)
+
+*/ \ No newline at end of file
diff --git a/frontend/convertimportedtypes.icl b/frontend/convertimportedtypes.icl
new file mode 100644
index 0000000..37c8d0e
--- /dev/null
+++ b/frontend/convertimportedtypes.icl
@@ -0,0 +1,125 @@
+implementation module convertimportedtypes
+
+import syntax, trans
+
+cDontRemoveAnnatations :== False
+
+convertDclModule :: !Int !{# DclModule} !{# CommonDefs} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps
+ -> (!*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps)
+convertDclModule main_dcl_module_n dcl_mods common_defs imported_types imported_conses var_heap type_heaps
+ # {dcl_functions,dcl_common=dcl_common=:{com_type_defs,com_cons_defs,com_selector_defs},dcl_conversions} = dcl_mods.[main_dcl_module_n]
+ = case dcl_conversions of
+ Yes conversion_table
+ # (icl_type_defs, imported_types) = imported_types![main_dcl_module_n]
+ common_defs = { common \\ common <-: common_defs }
+ common_defs = { common_defs & [main_dcl_module_n] = dcl_common }
+ types_and_heaps = convert_dcl_functions dcl_functions common_defs ( { imported_types & [main_dcl_module_n] = com_type_defs }, imported_conses, var_heap, type_heaps)
+ types_and_heaps = convertConstructorTypes com_cons_defs main_dcl_module_n common_defs types_and_heaps
+ (imported_types, imported_conses, var_heap, type_heaps) = convertSelectorTypes com_selector_defs main_dcl_module_n common_defs types_and_heaps
+ -> ({ imported_types & [main_dcl_module_n] = icl_type_defs}, imported_conses, var_heap, type_heaps)
+ No
+ -> (imported_types, imported_conses, var_heap, type_heaps)
+where
+ convert_dcl_functions dcl_functions common_defs types_and_heaps
+ = iFoldSt (convert_dcl_function dcl_functions common_defs) 0 (size dcl_functions) types_and_heaps
+
+ convert_dcl_function dcl_functions common_defs dcl_index (imported_types, imported_conses, var_heap, type_heaps)
+ # {ft_type, ft_type_ptr} = dcl_functions.[dcl_index]
+ (ft_type, imported_types, imported_conses, type_heaps, var_heap)
+ = convertSymbolType cDontRemoveAnnatations common_defs ft_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
+ = (imported_types, imported_conses, var_heap <:= (ft_type_ptr, VI_ExpandedType ft_type), type_heaps)
+
+convertConstructorTypes cons_defs main_dcl_module_n common_defs types_and_heaps
+ = iFoldSt (convert_constructor_type common_defs cons_defs) 0 (size cons_defs) types_and_heaps
+where
+ convert_constructor_type common_defs cons_defs cons_index (imported_types, imported_conses, var_heap, type_heaps)
+ # {cons_type_ptr, cons_type} = cons_defs.[cons_index]
+ (cons_type, imported_types, imported_conses, type_heaps, var_heap)
+ = convertSymbolType cDontRemoveAnnatations common_defs cons_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
+ = (imported_types, imported_conses, var_heap <:= (cons_type_ptr, VI_ExpandedType cons_type), type_heaps)
+
+convertSelectorTypes selector_defs main_dcl_module_n common_defs types_and_heaps
+ = iFoldSt (convert_selector_type common_defs selector_defs) 0 (size selector_defs) types_and_heaps
+where
+ convert_selector_type common_defs selector_defs sel_index (imported_types, imported_conses, var_heap, type_heaps)
+ # {sd_type_ptr, sd_type} = selector_defs.[sel_index]
+ (sd_type, imported_types, imported_conses, type_heaps, var_heap)
+ = convertSymbolType cDontRemoveAnnatations common_defs sd_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
+ = (imported_types, imported_conses, var_heap <:= (sd_type_ptr, VI_ExpandedType sd_type), type_heaps)
+
+convertIclModule :: !Int !{# CommonDefs} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps
+ -> (!*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps)
+convertIclModule main_dcl_module_n common_defs imported_types imported_conses var_heap type_heaps
+ # types_and_heaps = convertConstructorTypes common_defs.[main_dcl_module_n].com_cons_defs main_dcl_module_n common_defs (imported_types, imported_conses, var_heap, type_heaps)
+ = convertSelectorTypes common_defs.[main_dcl_module_n].com_selector_defs main_dcl_module_n common_defs types_and_heaps
+
+convertImportedTypeSpecifications :: !Int !{# DclModule} !{# {# FunType} } !{# CommonDefs} !ImportedConstructors !ImportedFunctions
+ !*{# {#CheckedTypeDef}} !*TypeHeaps !*VarHeap -> (!*{#{#CheckedTypeDef}}, !*TypeHeaps, !*VarHeap)
+convertImportedTypeSpecifications main_dcl_module_n dcl_mods dcl_functions common_defs imported_conses imported_functions imported_types type_heaps var_heap
+ # {dcl_common={com_type_defs},dcl_conversions} = dcl_mods.[main_dcl_module_n]
+ = case dcl_conversions of
+ Yes conversion_table
+ # abstract_type_indexes = iFoldSt (determine_abstract_type com_type_defs) 0 (size com_type_defs) []
+ | isEmpty abstract_type_indexes
+ -> convert_imported_type_specs dcl_functions common_defs imported_conses imported_functions imported_types type_heaps var_heap
+ # (icl_type_defs, imported_types) = imported_types![main_dcl_module_n]
+ type_defs = foldSt (insert_abstract_type conversion_table.[cTypeDefs]) abstract_type_indexes { icl_type_def \\ icl_type_def <-: icl_type_defs }
+ (imported_types, type_heaps, var_heap)
+ = convert_imported_type_specs dcl_functions common_defs imported_conses imported_functions
+ { imported_types & [main_dcl_module_n] = type_defs } type_heaps var_heap
+ -> ({ imported_types & [main_dcl_module_n] = icl_type_defs }, type_heaps, var_heap)
+ No
+ -> convert_imported_type_specs dcl_functions common_defs imported_conses imported_functions imported_types type_heaps var_heap
+
+
+where
+ determine_abstract_type dcl_type_defs type_index abstract_type_indexes
+ # {td_rhs} = dcl_type_defs.[type_index]
+ = case td_rhs of
+ AbstractType _
+ -> [type_index : abstract_type_indexes]
+ _
+ -> abstract_type_indexes
+
+ insert_abstract_type conversion_table type_index type_defs
+ # icl_index = conversion_table.[type_index]
+ (type_def, type_defs) = type_defs![icl_index]
+ = { type_defs & [icl_index] = { type_def & td_rhs = AbstractType cAllBitsClear }}
+
+ convert_imported_type_specs dcl_functions common_defs imported_conses imported_functions imported_types type_heaps var_heap
+ # (imported_types, imported_conses, type_heaps, var_heap)
+ = foldSt (convert_imported_function dcl_functions common_defs) imported_functions (imported_types, imported_conses, type_heaps, var_heap)
+ = convert_imported_constructors common_defs imported_conses imported_types type_heaps var_heap
+
+ convert_imported_function dcl_functions common_defs {glob_object,glob_module} (imported_types, imported_conses, type_heaps, var_heap)
+ # {ft_type_ptr,ft_type} = dcl_functions.[glob_module].[glob_object]
+ (ft_type, imported_types, imported_conses, type_heaps, var_heap)
+ = convertSymbolType cDontRemoveAnnatations common_defs ft_type main_dcl_module_n imported_types imported_conses type_heaps var_heap
+ = (imported_types, imported_conses, type_heaps, var_heap <:= (ft_type_ptr, VI_ExpandedType ft_type))
+
+ convert_imported_constructors common_defs [] imported_types type_heaps var_heap
+ = (imported_types, type_heaps, var_heap)
+ convert_imported_constructors common_defs [ {glob_module, glob_object} : conses ] imported_types type_heaps var_heap
+ # {com_cons_defs,com_selector_defs} = common_defs.[glob_module]
+ {cons_type_ptr,cons_type,cons_type_index,cons_symb} = common_defs.[glob_module].com_cons_defs.[glob_object]
+ (cons_type, imported_types, conses, type_heaps, var_heap)
+ = convertSymbolType cDontRemoveAnnatations common_defs cons_type main_dcl_module_n imported_types conses type_heaps var_heap
+ var_heap = var_heap <:= (cons_type_ptr, VI_ExpandedType cons_type)
+ ({td_rhs}, imported_types) = imported_types![glob_module].[cons_type_index]
+// ---> ("convert_imported_constructors", cons_symb, cons_type)
+ = case td_rhs of
+ RecordType {rt_fields}
+ # (imported_types, conses, type_heaps, var_heap)
+ = iFoldSt (convert_type_of_imported_field glob_module com_selector_defs rt_fields) 0 (size rt_fields)
+ (imported_types, conses, type_heaps, var_heap)
+ -> convert_imported_constructors common_defs conses imported_types type_heaps var_heap
+ _
+ -> convert_imported_constructors common_defs conses imported_types type_heaps var_heap
+ where
+ convert_type_of_imported_field module_index selector_defs fields field_index (imported_types, conses, type_heaps, var_heap)
+ # field_index = fields.[field_index].fs_index
+ {sd_type_ptr,sd_type} = selector_defs.[field_index]
+ (sd_type, imported_types, conses, type_heaps, var_heap)
+ = convertSymbolType cDontRemoveAnnatations common_defs sd_type main_dcl_module_n imported_types conses type_heaps var_heap
+ = (imported_types, conses, type_heaps, var_heap <:= (sd_type_ptr, VI_ExpandedType sd_type))
+
diff --git a/frontend/frontend.icl b/frontend/frontend.icl
index 50ec6af..1630061 100644
--- a/frontend/frontend.icl
+++ b/frontend/frontend.icl
@@ -1,6 +1,6 @@
implementation module frontend
-import scanner, parse, postparse, check, type, trans, convertcases, overloading, utilities, convertDynamics
+import scanner, parse, postparse, check, type, trans, convertcases, overloading, utilities, convertDynamics, convertimportedtypes
//import RWSDebug
import analtypes
import generics
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-06 11:17:39 +0000