diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/convertcases.dcl | 2 | ||||
| -rw-r--r-- | frontend/convertcases.icl | 4 | ||||
| -rw-r--r-- | frontend/frontend.icl | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/frontend/convertcases.dcl b/frontend/convertcases.dcl index 286dd14..5e24391 100644 --- a/frontend/convertcases.dcl +++ b/frontend/convertcases.dcl @@ -2,7 +2,7 @@ definition module convertcases import syntax, transform, trans -convertCasesOfFunctionsIntoPatterns :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}} +convertCasesOfFunctions :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap -> (!ImportedFunctions, !*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl index 5d0845f..c61c3af 100644 --- a/frontend/convertcases.icl +++ b/frontend/convertcases.icl @@ -488,10 +488,10 @@ where = ({ groups & [fi_group_index] = { group & group_members = [gf_fun_index : group.group_members]} }, [ { gf_fun_def & fun_type = Yes ft }: fun_defs], imported_types, imported_conses, type_heaps, var_heap) -convertCasesOfFunctionsIntoPatterns :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}} +convertCasesOfFunctions :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap -> (!ImportedFunctions, !*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) -convertCasesOfFunctionsIntoPatterns groups main_dcl_module_n dcl_functions common_defs fun_defs imported_types imported_conses var_heap type_heaps expr_heap +convertCasesOfFunctions groups main_dcl_module_n dcl_functions common_defs fun_defs imported_types imported_conses var_heap type_heaps expr_heap #! nr_of_funs = size fun_defs # (groups, (fun_defs, collected_imports, {ci_new_functions, ci_var_heap, ci_expr_heap, ci_fun_heap})) = convert_groups 0 groups dcl_functions common_defs diff --git a/frontend/frontend.icl b/frontend/frontend.icl index aa322f0..50ec6af 100644 --- a/frontend/frontend.icl +++ b/frontend/frontend.icl @@ -194,7 +194,7 @@ frontEndInterface upToPhase mod_ident search_paths dcl_modules functions_and_mac // (components, fun_defs, out) = showComponents components 0 False fun_defs out # (used_funs, components, fun_defs, dcl_types, used_conses, var_heap, type_heaps, expression_heap) - = convertCasesOfFunctionsIntoPatterns components main_dcl_module_n imported_funs common_defs fun_defs (dcl_types -*-> "Convert cases") used_conses + = convertCasesOfFunctions components main_dcl_module_n imported_funs common_defs fun_defs (dcl_types -*-> "Convert cases") used_conses var_heap type_heaps expression_heap #! (dcl_types, type_heaps, var_heap) = convertImportedTypeSpecifications main_dcl_module_n dcl_mods imported_funs common_defs used_conses used_funs (dcl_types -*-> "Convert types") type_heaps var_heap |