diff options
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index 96f17c7..82363ef 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -1,18 +1,8 @@ definition module trans import StdEnv - -import syntax, transform -import classify, partition +import syntax,classify,predef transformGroups :: !CleanupInfo !Int !Int !Int !Int !*{!Component} !*{#FunDef} !*{!.ConsClasses} !{# CommonDefs} !{# {# FunType} } !*ImportedTypes !*TypeDefInfos !*VarHeap !*TypeHeaps !*ExpressionHeap !Bool !*File !*PredefinedSymbols -> (!*{!Component}, !*{#FunDef}, !*ImportedTypes, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap, !*File, !*PredefinedSymbols) - -convertSymbolType :: !Bool !{# CommonDefs} !SymbolType !Int !*ImportedTypes !ImportedConstructors !*TypeHeaps !*VarHeap - -> (!SymbolType, !*ImportedTypes, !ImportedConstructors, !*TypeHeaps, !*VarHeap) - -convertSymbolTypeWithoutCollectingImportedConstructors :: !Bool !{# CommonDefs} !SymbolType !Int !*ImportedTypes !*TypeHeaps !*VarHeap - -> (!SymbolType, !*ImportedTypes, !*TypeHeaps, !*VarHeap) - -addTypesOfDictionaries :: !{#CommonDefs} ![TypeContext] ![AType] -> [AType] |