From f9e2102cb04e6a96f5d771ace1edebaa2b0adb16 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Fri, 7 Sep 2001 11:09:17 +0000
Subject: 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
---
 frontend/checksupport.icl | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'frontend/checksupport.icl')

diff --git a/frontend/checksupport.icl b/frontend/checksupport.icl
index 3824d6f..e1a22c9 100644
--- a/frontend/checksupport.icl
+++ b/frontend/checksupport.icl
@@ -222,20 +222,12 @@ where
 	,	ef_is_macro_fun		:: !Bool
 	}
 
-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
-
-
 convertIndex :: !Index !Index !(Optional ConversionTable) -> !Index
 convertIndex index table_index (Yes tables)
 	= tables.[table_index].[index]
 convertIndex index table_index No
 	= index
 
-
-
 retrieveGlobalDefinition :: !SymbolTableEntry !STE_Kind !Index -> (!Index, !Index)
 retrieveGlobalDefinition {ste_kind = STE_Imported kind decl_index, ste_def_level, ste_index} requ_kind mod_index
 	| kind == requ_kind
-- 
cgit v1.2.3