diff options
| author | johnvg | 2005-11-11 13:02:42 +0000 |
|---|---|---|
| committer | johnvg | 2005-11-11 13:02:42 +0000 |
| commit | 84190f245ea91b8719bb03f49dcec2cf92fab34e (patch) | |
| tree | 426656619fb459369c4a784a44c9f27aa048a874 /frontend/checktypes.dcl | |
| parent | use new selector descriptors for garbage collector (diff) | |
remove code for compatibility with Clean 1.3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1559 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index 8145612..65bd89d 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -11,12 +11,7 @@ checkFunctionType :: !Index !SymbolType !Specials !u:{# CheckedTypeDef} !v:{# Cl checkMemberType :: !Index !SymbolType !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState -> (!SymbolType, !u:{# CheckedTypeDef}, !v:{# ClassDef}, !u:{# DclModule}, !*TypeHeaps, !*CheckState) -//1.3 checkInstanceType :: !Index !(Global DefinedSymbol) !InstanceType !Specials !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState -//3.1 -/*2.0 -checkInstanceType :: !Index !(Global DefinedSymbol) !InstanceType !Specials !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState -0.2*/ -> (!InstanceType, !Specials, !u:{# CheckedTypeDef}, !v:{# ClassDef}, !u:{# DclModule}, !*TypeHeaps, !*CheckState) checkSuperClasses :: ![TypeVar] ![TypeContext] !Index !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState |