diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index fc1476b..1a69cf7 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -270,6 +270,7 @@ cNameLocationDependent :== True , gen_type :: !GenericType , gen_pos :: !Position , gen_kinds_ptr :: !TypeVarInfoPtr // hack: contains all used kinds + , gen_cons_ptr :: !TypeVarInfoPtr // hack: cons instance function , gen_classes :: !GenericClassInfos // generated classes , gen_isomap :: !DefinedSymbol // isomap function } @@ -307,6 +308,7 @@ addGenericKind :: !GenericDef !TypeKind -> !GenericDef , ins_pos :: !Position , ins_is_generic :: !Bool //AA , ins_generate :: !Bool //AA + , ins_partial :: !Bool //AA , ins_generic :: !Global Index //AA } @@ -867,6 +869,7 @@ cNonRecursiveAppl :== False | 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_ConsInstance !DefinedSymbol //AA: generic cons instance function | TVI_Normalized !Int /* MV - position of type variable in its definition */ :: TypeVarInfoPtr :== Ptr TypeVarInfo @@ -1309,7 +1312,8 @@ ParsedInstanceToClassInstance pi members :== it_context = pi.pi_context }, ins_members = members, ins_specials = pi.pi_specials, ins_pos = pi.pi_pos, /*AA*/ ins_is_generic = False, - ins_generate = pi.pi_generate, + ins_generate = pi.pi_generate, + ins_partial = False, ins_generic = {glob_module = NoIndex, glob_object = NoIndex}} MakeTypeDef name lhs rhs attr contexts pos :== |