aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.dcl
diff options
context:
space:
mode:
authorjohnvg2011-11-09 13:59:03 +0000
committerjohnvg2011-11-09 13:59:03 +0000
commit35b995a5c9ea0123fe3b33b5ef8b6c6f8d1ee239 (patch)
tree6cd56a8b74515b18393063d5692d2328782196a5 /frontend/trans.dcl
parentadjust more imports after moving types Group and Component to module checksup... (diff)
add module expand_types containing some functions from module trans and module typesupport
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2025 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/trans.dcl')
-rw-r--r--frontend/trans.dcl12
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]