diff options
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index 7c24ebf..5bf2558 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -8,9 +8,12 @@ cPassive :== -1 cActive :== -2 cAccumulating :== -3 -analyseGroups :: !*{! Group} !*{#FunDef} !*VarHeap -> (!*{! ConsClasses}, !*{! Group}, !*{#FunDef}, !*VarHeap) +:: CleanupInfo -transformGroups :: !*{! Group} !*{#FunDef} !{!.ConsClasses} !{# CommonDefs} !{# {# FunType} } !*VarHeap !*TypeHeaps !*ExpressionHeap +analyseGroups :: !*{! Group} !*{#FunDef} !*VarHeap !*ExpressionHeap + -> (!CleanupInfo, !*{! ConsClasses}, !*{! Group}, !*{#FunDef}, !*VarHeap, !*ExpressionHeap) + +transformGroups :: !CleanupInfo !*{! Group} !*{#FunDef} !{!.ConsClasses} !{# CommonDefs} !{# {# FunType} } !*VarHeap !*TypeHeaps !*ExpressionHeap -> (!*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef}) |