diff options
| -rw-r--r-- | frontend/convertcases.dcl | 2 | ||||
| -rw-r--r-- | frontend/convertcases.icl | 2 | ||||
| -rw-r--r-- | frontend/trans.dcl | 1 | ||||
| -rw-r--r-- | frontend/trans.icl | 1 |
4 files changed, 2 insertions, 4 deletions
diff --git a/frontend/convertcases.dcl b/frontend/convertcases.dcl index ef73041..286dd14 100644 --- a/frontend/convertcases.dcl +++ b/frontend/convertcases.dcl @@ -2,8 +2,6 @@ definition module convertcases import syntax, transform, trans -:: ImportedFunctions :== [Global Index] - convertCasesOfFunctionsIntoPatterns :: !*{! 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 a38f4aa..5d0845f 100644 --- a/frontend/convertcases.icl +++ b/frontend/convertcases.icl @@ -466,8 +466,6 @@ toOptionalFreeVar (Yes (var_info_ptr, type)) var_heap toOptionalFreeVar No var_heap = (No, var_heap) -:: ImportedFunctions :== [Global Index] - cDontRemoveAnnatations :== False addNewFunctionsToGroups :: !{#.CommonDefs} FunctionHeap ![FunctionInfoPtr] !Int !*{! Group} !*{#{# CheckedTypeDef}} !ImportedFunctions !*TypeHeaps !*VarHeap diff --git a/frontend/trans.dcl b/frontend/trans.dcl index 44930ff..4a2a204 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -20,6 +20,7 @@ transformGroups :: !CleanupInfo !Int !*{! Group} !*{#FunDef} !{!.ConsClasses} !{ partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef}) :: ImportedConstructors :== [Global Index] +:: ImportedFunctions :== [Global Index] convertSymbolType :: !Bool !{# CommonDefs} !SymbolType !Int !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeHeaps !*VarHeap -> (!SymbolType, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*TypeHeaps, !*VarHeap) diff --git a/frontend/trans.icl b/frontend/trans.icl index 832d8e5..7cb372a 100644 --- a/frontend/trans.icl +++ b/frontend/trans.icl @@ -2272,6 +2272,7 @@ renewVariables exprs var_heap :: ImportedConstructors :== [Global Index] +:: ImportedFunctions :== [Global Index] transformGroups :: !CleanupInfo !Int !*{! Group} !*{#FunDef} !{!.ConsClasses} !{# CommonDefs} !{# {# FunType} } !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeDefInfos !*VarHeap !*TypeHeaps !*ExpressionHeap |