diff options
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index c10ee16..83f968c 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -4,9 +4,10 @@ import StdEnv import syntax, transform -cPassive :== -1 -cActive :== -2 -cAccumulating :== -3 +cPassive :== -1 +cActive :== -2 +cAccumulating :== -3 +cVarOfMultimatchCase :== -4 :: CleanupInfo @@ -14,7 +15,7 @@ analyseGroups :: !{# CommonDefs} !{#{#FunType}} !IndexRange !Int !Int !*{! Group -> (!CleanupInfo, !*{! ConsClasses}, !*{! Group}, !*{#FunDef}, !*VarHeap, !*ExpressionHeap) transformGroups :: !CleanupInfo !Int !Int !*{! Group} !*{#FunDef} !{!.ConsClasses} !{# CommonDefs} !{# {# FunType} } - !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeDefInfos !*VarHeap !*TypeHeaps !*ExpressionHeap + !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeDefInfos !*VarHeap !*TypeHeaps !*ExpressionHeap !Bool -> (!*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef}) |