diff options
| author | johnvg | 2001-10-18 11:33:45 +0000 |
|---|---|---|
| committer | johnvg | 2001-10-18 11:33:45 +0000 |
| commit | ddda5856e49c82fb6d5a4a94dae46a93ceade138 (patch) | |
| tree | 9a230fd07c464bed267be66bab103c62901860ec /frontend/checktypes.dcl | |
| parent | Bug fixes: too many error messages were printed (diff) | |
store macros and local functions in macros in separate {#{#FunDef}},
remove conversion table, except for macros
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index a228699..1baadf1 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -20,7 +20,7 @@ checkSuperClasses :: ![TypeVar] ![TypeContext] !Index !u:{# CheckedTypeDef} !v:{ checkDynamicTypes :: !Index ![ExprInfoPtr] !(Optional SymbolType) !u:{# CheckedTypeDef} !u:{# DclModule} !*TypeHeaps !*ExpressionHeap !*CheckState -> (!u:{# CheckedTypeDef}, !u:{# DclModule}, !*TypeHeaps, !*ExpressionHeap, !*CheckState) -createClassDictionaries :: !Index !*{#ClassDef} !u:{#.DclModule} !Index !Index !Index !*TypeVarHeap !*VarHeap !*SymbolTable - -> (!*{#ClassDef}, !u:{#DclModule}, ![CheckedTypeDef], ![SelectorDef], ![ConsDef], !*TypeVarHeap, !*VarHeap, !*SymbolTable) +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) removeVariablesFromSymbolTable :: !Int ![TypeVar] !*SymbolTable -> *SymbolTable |