From 2e4549b67437968f9ef7433f873f277008fa42ef Mon Sep 17 00:00:00 2001
From: ronny
Date: Tue, 8 May 2001 09:31:50 +0000
Subject: added VI_Labelled_Empty and VI_LocalLetVar to VarInfo

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@393 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/syntax.dcl | 4 ++++
 frontend/syntax.icl | 3 +++
 2 files changed, 7 insertions(+)

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 4a05bb2..b1cf44a 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -545,6 +545,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
 
@@ -702,6 +704,7 @@ cNonRecursiveAppl	:== False
 
 		/* for converting case into function patterns the following auxiliary constuctors are used */
 
+
 					| EI_Default !Expression !AType !ExprInfoPtr
 					| EI_DefaultFunction !SymbIdent ![Expression]
 					| EI_Extended !ExtendedExprInfo !ExprInfo
@@ -709,6 +712,7 @@ cNonRecursiveAppl	:== False
 ::	ExtendedExprInfo
 					= EEI_ActiveCase !ActiveCaseInfo
 
+
 ::	ActiveCaseInfo =
 	{	aci_params					:: ![FreeVar]
 	,	aci_opt_unfolder			:: !(Optional SymbIdent)
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
 
-- 
cgit v1.2.3