diff options
| author | sjakie | 2001-09-24 12:08:09 +0000 |
|---|---|---|
| committer | sjakie | 2001-09-24 12:08:09 +0000 |
| commit | ce6a6debd9e141c0bc8d3ac0ae25b81a73560692 (patch) | |
| tree | a0e76559aeb5672c6204cac1ad23323c7db5f915 /frontend/checktypes.dcl | |
| parent | call to frontend adjusted (diff) | |
removed kind correctness checking module
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@803 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index e035f29..a6e63e7 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -20,17 +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 !*CheckState - -> (!*{#ClassDef}, !u:{#DclModule}, ![CheckedTypeDef], ![SelectorDef], ![ConsDef], !*TypeVarHeap, !*VarHeap, !*CheckState) -/* -bindTypeVarsAndAttributes :: !TypeAttribute !TypeAttribute ![ATypeVar] ![AType] !*TypeHeaps -> *TypeHeaps; -clearBindingsOfTypeVarsAndAttributes :: !TypeAttribute ![ATypeVar] !*TypeHeaps -> *TypeHeaps; -*/ -isATopConsVar cv :== cv < 0 -encodeTopConsVar cv :== dec (~cv) -decodeTopConsVar cv :== ~(inc cv) -/* -expandSynonymTypes :: !.Index !*{#CheckedTypeDef} !*{#.DclModule} !*TypeHeaps !*ErrorAdmin - -> (!.{#CheckedTypeDef},!.{#DclModule},!.TypeHeaps,!.ErrorAdmin) -*/ +createClassDictionaries :: !Index !*{#ClassDef} !u:{#.DclModule} !Index !Index !Index !*TypeVarHeap !*VarHeap !*SymbolTable + -> (!*{#ClassDef}, !u:{#DclModule}, ![CheckedTypeDef], ![SelectorDef], ![ConsDef], !*TypeVarHeap, !*VarHeap, !*SymbolTable) + removeVariablesFromSymbolTable :: !Int ![TypeVar] !*SymbolTable -> *SymbolTable |