diff options
| author | johnvg | 2001-09-07 11:09:17 +0000 |
|---|---|---|
| committer | johnvg | 2001-09-07 11:09:17 +0000 |
| commit | f9e2102cb04e6a96f5d771ace1edebaa2b0adb16 (patch) | |
| tree | d1065827d02f15b7c41f46e65d3d2b36dfb83e59 /frontend/checkFunctionBodies.icl | |
| parent | Bug fix: Stop after an overloading error occurred (diff) | |
moved function checkLocalFunctions from checksupport to checkFunctionBodies
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@761 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checkFunctionBodies.icl')
| -rw-r--r-- | frontend/checkFunctionBodies.icl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/frontend/checkFunctionBodies.icl b/frontend/checkFunctionBodies.icl index 642fab1..99248f1 100644 --- a/frontend/checkFunctionBodies.icl +++ b/frontend/checkFunctionBodies.icl @@ -2,6 +2,7 @@ implementation module checkFunctionBodies import syntax, typesupport, parse, checksupport, utilities, checktypes, transform, predef //, RWSDebug import explicitimports, comparedefimp, mergecases +from check import checkFunctions cIsInExpressionList :== True cIsNotInExpressionList :== False @@ -462,6 +463,11 @@ where (let_expr, expr_heap) = buildLetExpression strict_binds lazy_binds let_expr let_expr_position expr_heap = (if (isEmpty strict_binds && isEmpty lazy_binds) let_expr_position NoPos, let_expr, expr_heap) +checkLocalFunctions :: !Index !Level !LocalDefs !*{#FunDef} !*ExpressionInfo !*Heaps !*CheckState + -> (!.{#FunDef},!.ExpressionInfo,!.Heaps,!.CheckState); +checkLocalFunctions mod_index level (CollectedLocalDefs {loc_functions={ir_from,ir_to}}) fun_defs e_info heaps cs + = checkFunctions mod_index level ir_from ir_to fun_defs e_info heaps cs + checkExpression :: ![FreeVar] !ParsedExpr !ExpressionInput !*ExpressionState !*ExpressionInfo !*CheckState -> *(!Expression, ![FreeVar], !*ExpressionState, !*ExpressionInfo, !*CheckState); checkExpression free_vars (PE_List exprs) e_input e_state e_info cs |