From 4d280342ce75b8eabfda0a4e2ec7eacc655a0b4b Mon Sep 17 00:00:00 2001
From: sjakie
Date: Thu, 17 Jan 2002 10:08:37 +0000
Subject: Bug fix: Scopes in dynamics

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checkFunctionBodies.dcl | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

(limited to 'frontend/checkFunctionBodies.dcl')

diff --git a/frontend/checkFunctionBodies.dcl b/frontend/checkFunctionBodies.dcl
index 3701527..e1ff150 100644
--- a/frontend/checkFunctionBodies.dcl
+++ b/frontend/checkFunctionBodies.dcl
@@ -2,14 +2,15 @@ definition module checkFunctionBodies
 
 import syntax, checksupport
 
+::	Dynamics		:== [ExprInfoPtr]
+
 ::	ExpressionState =
 	{	es_expr_heap	:: !.ExpressionHeap
-	,	es_var_heap			:: !.VarHeap
-	,	es_type_heaps		:: !.TypeHeaps
-	,	es_calls			:: ![FunCall]
-	,	es_dynamics			:: ![ExprInfoPtr]
-	,	es_fun_defs			:: !.{# FunDef}
- 	,	es_dynamic_expr_count	:: !Int				// used to give each dynamic expr an unique id
+	,	es_var_heap		:: !.VarHeap
+	,	es_type_heaps	:: !.TypeHeaps
+	,	es_calls		:: ![FunCall]
+	,	es_dynamics		:: !Dynamics
+	,	es_fun_defs		:: !.{# FunDef}
 	}
 	
 ::	ExpressionInput =
@@ -21,4 +22,4 @@ import syntax, checksupport
 	}
 
 checkFunctionBodies :: !FunctionBody !Ident !.ExpressionInput !*ExpressionState !*ExpressionInfo !*CheckState
-					-> (FunctionBody,[FreeVar],!.ExpressionState,.ExpressionInfo,!.CheckState);
+	-> (!FunctionBody, ![FreeVar], !*ExpressionState, !*ExpressionInfo, !*CheckState)
-- 
cgit v1.2.3