Commit fb5e7960 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏢
Browse files

added VI_Labelled_Empty and VI_LocalLetVar to VarInfo

parent 42c69944
...@@ -545,6 +545,8 @@ cIsALocalVar :== False ...@@ -545,6 +545,8 @@ cIsALocalVar :== False
// MdM // MdM
VI_CPSLocalExprVar !Int /* MdM - the index of the variable as generated by the theorem prover */ VI_CPSLocalExprVar !Int /* MdM - the index of the variable as generated by the theorem prover */
// ... MdM // ... MdM
| VI_Labelled_Empty {#Char} // RWS debugging
| VI_LocalLetVar // RWS, mark Let vars during case transformation
:: ExtendedVarInfo = EVI_VarType !AType :: ExtendedVarInfo = EVI_VarType !AType
...@@ -702,6 +704,7 @@ cNonRecursiveAppl :== False ...@@ -702,6 +704,7 @@ cNonRecursiveAppl :== False
/* for converting case into function patterns the following auxiliary constuctors are used */ /* for converting case into function patterns the following auxiliary constuctors are used */
| EI_Default !Expression !AType !ExprInfoPtr | EI_Default !Expression !AType !ExprInfoPtr
| EI_DefaultFunction !SymbIdent ![Expression] | EI_DefaultFunction !SymbIdent ![Expression]
| EI_Extended !ExtendedExprInfo !ExprInfo | EI_Extended !ExtendedExprInfo !ExprInfo
...@@ -709,6 +712,7 @@ cNonRecursiveAppl :== False ...@@ -709,6 +712,7 @@ cNonRecursiveAppl :== False
:: ExtendedExprInfo :: ExtendedExprInfo
= EEI_ActiveCase !ActiveCaseInfo = EEI_ActiveCase !ActiveCaseInfo
:: ActiveCaseInfo = :: ActiveCaseInfo =
{ aci_params :: ![FreeVar] { aci_params :: ![FreeVar]
, aci_opt_unfolder :: !(Optional SymbIdent) , aci_opt_unfolder :: !(Optional SymbIdent)
......
...@@ -6,6 +6,7 @@ import scanner, general, Heap, typeproperties, utilities ...@@ -6,6 +6,7 @@ import scanner, general, Heap, typeproperties, utilities
SupportGenerics :== False SupportGenerics :== False
PA_BUG on off :== on PA_BUG on off :== on
switch_import_syntax one_point_three two_point_zero :== one_point_three switch_import_syntax one_point_three two_point_zero :== one_point_three
SwitchFusion fuse dont_fuse :== dont_fuse SwitchFusion fuse dont_fuse :== dont_fuse
...@@ -527,6 +528,8 @@ cIsALocalVar :== False ...@@ -527,6 +528,8 @@ cIsALocalVar :== False
// MdM // MdM
VI_CPSLocalExprVar !Int /* MdM - the index of the variable as generated by the theorem prover */ VI_CPSLocalExprVar !Int /* MdM - the index of the variable as generated by the theorem prover */
// ... MdM // ... MdM
| VI_Labelled_Empty {#Char} // RWS debugging
| VI_LocalLetVar // RWS, mark Let vars during case transformation
:: ExtendedVarInfo = EVI_VarType !AType :: ExtendedVarInfo = EVI_VarType !AType
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment