diff options
Diffstat (limited to 'frontend/syntax.icl')
| -rw-r--r-- | frontend/syntax.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl index 80889f9..64c62b4 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -259,6 +259,7 @@ cNameLocationDependent :== True , gen_member_name :: !Ident // the generics name in IC_Member , gen_type :: !GenericType , gen_pos :: !Position + , gen_kinds_ptr :: !TypeVarInfoPtr // hack: contains all used kinds , gen_classes :: !GenericClassInfos // generated classes , gen_isomap :: !DefinedSymbol // isomap function } @@ -835,6 +836,7 @@ cNotVarNumber :== -1 | TVI_Used /* to adminster that this variable is encountered (in checkOpenTypes) */ | TVI_TypeCode !TypeCodeExpression | TVI_CPSLocalTypeVar !Int /* MdM - the index of the variable as generated by the theorem prover */ + | TVI_Kinds ![TypeKind] // AA: used to collect kinds during checking | TVI_Normalized !Int /* MV - position of type variable in its definition */ :: TypeVarInfoPtr :== Ptr TypeVarInfo |