From 318059666712d38e897f1bda3e2688db2fb85709 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 29 Jul 2009 14:14:35 +0000
Subject: fix bug that may occur if a let variable is used in another let in an
 alternative of a case and is also used in another alternative, these lets
 were not added to the list of lets closed by cases, now they are, and the let
 will be reopened in the other alternative

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

(limited to 'frontend/syntax.dcl')

diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index e0c3f90..b182073 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1113,8 +1113,9 @@ instance toString 	KindInfo
 	}
 
 ::	OccurrenceBinding	= OB_Empty 
-						| OB_OpenLet	FreeVar (Optional RefMarkResult)
-						| OB_LockedLet	OccurrenceBinding
+						| OB_OpenLet	!FreeVar !(Optional RefMarkResult)
+						| OB_LockedLet	!OccurrenceBinding
+						| OB_MarkedLet	!OccurrenceBinding
 
 ::	RefMarkResult :== ([CountedFreeVar], [FreeVar])
 
-- 
cgit v1.2.3