From 4dd1d52914ce0a8e60a12ad6b11765ead3bfb81e Mon Sep 17 00:00:00 2001
From: ronny
Date: Wed, 12 Dec 2001 15:59:12 +0000
Subject: enter new scope when checking rhs of nodedefs

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@931 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checkFunctionBodies.icl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontend/checkFunctionBodies.icl b/frontend/checkFunctionBodies.icl
index 291aff1..23fbc70 100644
--- a/frontend/checkFunctionBodies.icl
+++ b/frontend/checkFunctionBodies.icl
@@ -1766,7 +1766,8 @@ convertSubPattern (AP_Empty _) result_expr pattern_position var_store expr_heap
 
 checkAndTransformPatternIntoBind free_vars [{nd_dst,nd_alts,nd_locals,nd_position} : local_defs] e_input=:{ei_expr_level,ei_mod_index} e_state e_info cs
 	# cs = pushErrorAdmin (newPosition {id_name="node definition", id_info=nilPtr} nd_position) cs
-	# (bind_src, free_vars, e_state, e_info, cs) = checkRhs free_vars nd_alts nd_locals e_input e_state e_info cs	
+	# (bind_src, free_vars, e_state, e_info, cs) = checkRhs free_vars nd_alts nd_locals
+			{e_input & ei_expr_level = ei_expr_level + 1} e_state e_info cs	
 	  (binds_of_bind, es_var_heap, es_expr_heap, e_info, cs)
 			= transfromPatternIntoBind ei_mod_index ei_expr_level nd_dst bind_src nd_position
 				e_state.es_var_heap e_state.es_expr_heap e_info cs
-- 
cgit v1.2.3