diff options
| author | sjakie | 2001-09-21 08:08:59 +0000 |
|---|---|---|
| committer | sjakie | 2001-09-21 08:08:59 +0000 |
| commit | 68a9935f0203b73b5edb13a9e3996b8b06d05f48 (patch) | |
| tree | 779071559cd7c17f66dcd4b02949f9805615f34f /frontend/checktypes.dcl | |
| parent | Added module owners for convertDynamics, type_io and type_io_common (diff) | |
Bug fix: caching combined with omitted type and class definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index e668552..e035f29 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -22,15 +22,15 @@ checkDynamicTypes :: !Index ![ExprInfoPtr] !(Optional SymbolType) !u:{# CheckedT 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) - +*/ removeVariablesFromSymbolTable :: !Int ![TypeVar] !*SymbolTable -> *SymbolTable |