diff options
| author | martinw | 2001-01-19 10:51:27 +0000 |
|---|---|---|
| committer | martinw | 2001-01-19 10:51:27 +0000 |
| commit | c043530c7fbc813aff2e5c919c2ae496d5229ad4 (patch) | |
| tree | 9782403258abbba9bdf3f5b0533da4fd46b6f360 /frontend/trans.dcl | |
| parent | bugfixing dcl cashing, expanding synonym types after a whole module component (diff) | |
uniqueness unification for types of functions that are generated
during the transformation phase
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@292 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index dd6d153..5eff949 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -14,8 +14,8 @@ analyseGroups :: !{# CommonDefs} !IndexRange !Int !*{! Group} !*{#FunDef} !*VarH -> (!CleanupInfo, !*{! ConsClasses}, !*{! Group}, !*{#FunDef}, !*VarHeap, !*ExpressionHeap) transformGroups :: !CleanupInfo !Int !*{! Group} !*{#FunDef} !{!.ConsClasses} !{# CommonDefs} !{# {# FunType} } - !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap - -> (!*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) + !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeDefInfos !*VarHeap !*TypeHeaps !*ExpressionHeap + -> (!*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef}) |