diff options
| author | diederik | 2002-02-11 13:23:18 +0000 |
|---|---|---|
| committer | diederik | 2002-02-11 13:23:18 +0000 |
| commit | dcba64d2d0aaea5e518123efbb51078d14478f5c (patch) | |
| tree | a9bd060e9aa52116741bedf8d2f3972432397d19 /frontend/trans.dcl | |
| parent | removed function call of transform_patterns_to_case_and_guard_nodes (diff) | |
class type variables bugfix
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1013 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index 48bae42..354eefc 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -15,15 +15,16 @@ analyseGroups :: !{# CommonDefs} !{#{#FunType}} !IndexRange !Int !Int !*{! Group -> (!CleanupInfo, !*{! ConsClasses}, !*{! Group}, !*{#FunDef}, !*VarHeap, !*ExpressionHeap) transformGroups :: !CleanupInfo !Int !Int !*{! Group} !*{#FunDef} !*{!.ConsClasses} !{# CommonDefs} !{# {# FunType} } - !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeDefInfos !*VarHeap !*TypeHeaps !*ExpressionHeap !Bool - -> (!*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) + !*ImportedTypes !ImportedConstructors !*TypeDefInfos !*VarHeap !*TypeHeaps !*ExpressionHeap !Bool + -> (!*{! Group}, !*{#FunDef}, !*ImportedTypes, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef}) :: ImportedConstructors :== [Global Index] -:: ImportedFunctions :== [Global Index] +:: ImportedFunctions :== [Global Index] +:: ImportedTypes :== {#{# CheckedTypeDef}} -convertSymbolType :: !Bool !{# CommonDefs} !SymbolType !Int !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeHeaps !*VarHeap - -> (!SymbolType, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*TypeHeaps, !*VarHeap) +convertSymbolType :: !Bool !{# CommonDefs} !SymbolType !Int !*ImportedTypes !ImportedConstructors !*TypeHeaps !*VarHeap + -> (!SymbolType, !*ImportedTypes, !ImportedConstructors, !*TypeHeaps, !*VarHeap) addTypesOfDictionaries :: !{#CommonDefs} ![TypeContext] ![AType] -> [AType] |