diff options
| author | sjakie | 2002-01-17 10:08:37 +0000 |
|---|---|---|
| committer | sjakie | 2002-01-17 10:08:37 +0000 |
| commit | 4d280342ce75b8eabfda0a4e2ec7eacc655a0b4b (patch) | |
| tree | c478c23863e7c3db60c1bd08de7258358484dc6d /frontend/checkFunctionBodies.dcl | |
| parent | added default alternatives for functions 'is_lazy_or_strict_array' (diff) | |
Bug fix: Scopes in dynamics
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checkFunctionBodies.dcl')
| -rw-r--r-- | frontend/checkFunctionBodies.dcl | 15 |
1 files changed, 8 insertions, 7 deletions
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) |