From ba0a7743024b2f57de76de9e3884896631d071b8 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 23 Feb 2011 12:41:05 +0000
Subject: really remove dummy function add_kind in function check_generic_expr

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1852 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checkFunctionBodies.icl | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'frontend')

diff --git a/frontend/checkFunctionBodies.icl b/frontend/checkFunctionBodies.icl
index e03f965..fe3a440 100644
--- a/frontend/checkFunctionBodies.icl
+++ b/frontend/checkFunctionBodies.icl
@@ -1192,11 +1192,6 @@ checkExpression free_vars (PE_Generic id=:{id_name,id_info} kind) e_input e_stat
  					}
 			 	= (App app, es_expr_heap, {cs & cs_predef_symbols = cs_predef_symbols})	
 
-		add_kind :: !Index !TypeKind !u:{#GenericDef} !*ExpressionState 
-			-> (!u:{#GenericDef}, !*ExpressionState)			
-		add_kind generic_index kind generic_defs e_state=:{es_generic_heap}
-			= (generic_defs, {e_state & es_generic_heap = es_generic_heap}) 									 
-
 checkExpression free_vars (PE_TypeSignature array_kind expr) e_input e_state e_info cs
 	# (expr,free_vars,e_state,e_info,cs) = checkExpression free_vars expr e_input e_state e_info cs
 	  predef_array_index = case array_kind of
-- 
cgit v1.2.3