diff options
| author | martinw | 2000-10-26 11:28:11 +0000 |
|---|---|---|
| committer | martinw | 2000-10-26 11:28:11 +0000 |
| commit | 141b184fe960aa39636987f4e93692c70b23afb3 (patch) | |
| tree | 66dd556b2d2881c46e67d917085af1e0674717ac /frontend/checktypes.dcl | |
| parent | added new macro "unsafeFold2St" (diff) | |
added new error messages
"context restriction not allowed for fully polymorph instance" and
"context restriction equals instance type"
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@270 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.dcl')
| -rw-r--r-- | frontend/checktypes.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checktypes.dcl b/frontend/checktypes.dcl index ff94143..4e04a6d 100644 --- a/frontend/checktypes.dcl +++ b/frontend/checktypes.dcl @@ -11,7 +11,7 @@ checkSymbolType :: !Index !SymbolType !Specials !u:{# CheckedTypeDef} !v:{# Clas checkTypeContexts :: ![TypeContext] !Index !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState -> (![TypeContext], !u:{#CheckedTypeDef}, !v:{# ClassDef}, !u:{# DclModule}, !*TypeHeaps, !*CheckState) -checkInstanceType :: !Index !InstanceType !Specials !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState +checkInstanceType :: !Index !(Global DefinedSymbol) !InstanceType !Specials !u:{# CheckedTypeDef} !v:{# ClassDef} !u:{# DclModule} !*TypeHeaps !*CheckState -> (!InstanceType, !Specials, !u:{# CheckedTypeDef}, !v:{# ClassDef}, !u:{# DclModule}, !*TypeHeaps, !*CheckState) checkDynamicTypes :: !Index ![ExprInfoPtr] !(Optional SymbolType) !u:{# CheckedTypeDef} !u:{# DclModule} !*TypeHeaps !*ExpressionHeap !*CheckState |