aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/trans.dcl')
-rw-r--r--frontend/trans.dcl4
1 files changed, 0 insertions, 4 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl
index 3108536..b962cce 100644
--- a/frontend/trans.dcl
+++ b/frontend/trans.dcl
@@ -11,10 +11,6 @@ transformGroups :: !CleanupInfo !Int !Int !*{! Group} !*{#FunDef} !*{!.ConsClass
partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef})
-:: ImportedConstructors :== [Global Index]
-:: ImportedFunctions :== [Global Index]
-:: ImportedTypes :== {#{# CheckedTypeDef}}
-
convertSymbolType :: !Bool !{# CommonDefs} !SymbolType !Int !*ImportedTypes !ImportedConstructors !*TypeHeaps !*VarHeap
-> (!SymbolType, !*ImportedTypes, !ImportedConstructors, !*TypeHeaps, !*VarHeap)