diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/syntax.dcl | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 1a53ace..157a100 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -4,14 +4,6 @@ import StdEnv import scanner, general, typeproperties, Heap -SupportGenerics :== False -PA_BUG on off :== on - -switch_import_syntax one_point_three two_point_zero :== one_point_three - /* when finally removing this switch also remove the argument of STE_Instance and ID_OldSyntax */ - -SwitchFusion fuse dont_fuse :== dont_fuse - :: Ident = { id_name :: !String , id_info :: !SymbolPtr @@ -874,6 +866,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_Kind !TypeKind | TVI_ConsInstance !DefinedSymbol //AA: generic cons instance function | TVI_Normalized !Int /* MV - position of type variable in its definition */ |