diff options
Diffstat (limited to 'frontend/syntax.icl')
| -rw-r--r-- | frontend/syntax.icl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/syntax.icl b/frontend/syntax.icl index e537e0b..3c91861 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -6,6 +6,7 @@ import scanner, general, Heap, typeproperties, utilities SupportGenerics :== False PA_BUG on off :== on + switch_import_syntax one_point_three two_point_zero :== one_point_three SwitchFusion fuse dont_fuse :== dont_fuse @@ -527,6 +528,8 @@ cIsALocalVar :== False // MdM VI_CPSLocalExprVar !Int /* MdM - the index of the variable as generated by the theorem prover */ // ... MdM + | VI_Labelled_Empty {#Char} // RWS debugging + | VI_LocalLetVar // RWS, mark Let vars during case transformation :: ExtendedVarInfo = EVI_VarType !AType |