diff options
Diffstat (limited to 'frontend/trans.dcl')
-rw-r--r-- | frontend/trans.dcl | 4 |
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) |