diff options
| author | martinw | 2000-04-26 09:10:34 +0000 |
|---|---|---|
| committer | martinw | 2000-04-26 09:10:34 +0000 |
| commit | 1e8f9d92be20258186661009221e60034fc53f06 (patch) | |
| tree | 7b82bbcc810aa9fdfa04b0912914a8139d8683bc /frontend/checktypes.dcl | |
| parent | small bugfix (diff) | |
changes to make compiler compatible with itself
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@126 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 3695103..ff94143 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -20,6 +20,9 @@ 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) |