diff options
Diffstat (limited to 'frontend/convertcases.dcl')
| -rw-r--r-- | frontend/convertcases.dcl | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/frontend/convertcases.dcl b/frontend/convertcases.dcl index 243b5d5..6099a65 100644 --- a/frontend/convertcases.dcl +++ b/frontend/convertcases.dcl @@ -3,13 +3,14 @@ */ definition module convertcases -import syntax, transform +import syntax +from trans import ::Component :: LetVarInfo :: LetExpressionInfo :: RefCountsInCase :: SplitsInCase -convertCasesOfFunctions :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}} +convertCasesOfFunctions :: !*{!Component} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap - -> (!ImportedFunctions, !*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) + -> (!ImportedFunctions, !*{!Component}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) |