From 35b995a5c9ea0123fe3b33b5ef8b6c6f8d1ee239 Mon Sep 17 00:00:00 2001 From: johnvg Date: Wed, 9 Nov 2011 13:59:03 +0000 Subject: 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 --- frontend/trans.dcl | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) (limited to 'frontend/trans.dcl') 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] -- cgit v1.2.3