diff options
| author | johnvg | 2013-04-05 14:43:55 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-05 14:43:55 +0000 |
| commit | 901103bbe03dc1b32e3a7a003be7a7864e09c1b0 (patch) | |
| tree | 2eda7b16e3fe6d9403920a0cf8474bb76bea7c4c /frontend/checktypes.dcl | |
| parent | add derive class for deriving generic functions in class context (from iTask ... (diff) | |
update derive class for deriving generic functions in class context (from iTask branch)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2226 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index 07e50f7..c0adacd 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -25,4 +25,7 @@ checkDynamicTypes :: !Index ![ExprInfoPtr] !(Optional SymbolType) createClassDictionaries :: !Bool !Index !Index !Index !Index !*{#CheckedTypeDef} !*{# SelectorDef} !*{# ConsDef} !*{#ClassDef} !*{#DclModule} !*TypeVarHeap !*VarHeap !*SymbolTable -> (![CheckedTypeDef],![SelectorDef],![ConsDef],!DictionaryInfo,!*{#CheckedTypeDef},!*{# SelectorDef},!*{# ConsDef},!*{#ClassDef},!*{#DclModule},!*TypeVarHeap,!*VarHeap,!*SymbolTable) +createMoreClassDictionaries :: !Int !Index !Index !Index !Index !*{#CheckedTypeDef} !*{#SelectorDef} !*{#ConsDef} !*{#ClassDef} !*{#DclModule} !*TypeVarHeap !*VarHeap !*SymbolTable + -> (![CheckedTypeDef],![SelectorDef],![ConsDef],!*{#CheckedTypeDef},!*{#SelectorDef},!*{#ConsDef},!*{#ClassDef},!*{#DclModule},!*TypeVarHeap,!*VarHeap,!*SymbolTable) + removeVariablesFromSymbolTable :: !Int ![TypeVar] !*SymbolTable -> *SymbolTable |