From 05805e69b39085802e88c8b788986227ed4f928a Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 14 Feb 2007 12:39:52 +0000
Subject: remove unused code

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1647 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checktypes.icl | 24 ++----------------------
 1 file changed, 2 insertions(+), 22 deletions(-)

(limited to 'frontend')

diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl
index 3777af5..9b30ab8 100644
--- a/frontend/checktypes.icl
+++ b/frontend/checktypes.icl
@@ -70,7 +70,7 @@ where
 			= checkError var "uniqueness attribute not allowed" error
 		check_attr_of_type_var attr _ error
 			= error
-	
+
 		to_root_attr (TA_Var var)
 			= TA_RootVar var
 		to_root_attr attr
@@ -325,7 +325,7 @@ where
 			  (local_vars, cs_symbol_table) = foldSt retrieve_local_vars free_vars ([], cs.cs_symbol_table)
 			  (attr_env, cs_error) = addToAttributeEnviron type_attr cti.cti_lhs_attribute attr_env cs.cs_error
 			= ([type : types], [local_vars : local_vars_list], attr_env, (ts, ti , { cs & cs_symbol_table = cs_symbol_table, cs_error = cs_error }))
-		where 
+		where
 			retrieve_local_vars tv=:{tv_ident={id_info}} (local_vars, symbol_table)
 				# (ste=:{ste_kind = STE_BoundTypeVariable bv=:{stv_attribute, stv_info_ptr, stv_count }}, symbol_table) = readPtr id_info symbol_table
 				| stv_count == 0
@@ -1235,25 +1235,6 @@ where
 					(heaps, { cs & cs_symbol_table = cs_symbol_table, cs_error = cs_error}))
 			= (atv, ({ heaps & th_vars = th_vars },
 					 { cs & cs_symbol_table = cs_symbol_table, cs_error = checkError tv_ident.id_name "type variable already defined" cs_error}))
-/*
-	check_attribute :: !TypeAttribute !TypeAttribute !String !*ErrorAdmin
-		-> (!TypeAttribute, !*ErrorAdmin)
-	check_attribute TA_Multi root_attr name error
-		= (TA_Multi, error)
-	check_attribute TA_None root_attr name error
-		= (TA_Multi, error)
-	check_attribute TA_Unique root_attr name error
-		= (TA_Unique, error)
-	check_attribute TA_Anonymous root_attr name error
-		= case root_attr of
-			TA_Var var
-				-> (TA_RootVar var, error)
-			_
-				-> (PA_BUG (TA_RootVar (abort "SwitchUniquenessBug is on")) root_attr, error)
-	check_attribute attr root_attr name error
-		= (TA_Multi, checkError name "specified attribute not allowed" error)
-*/
-	
 
 	check_attribute :: !TypeAttribute !TypeAttribute !String !*AttrVarHeap !*ErrorAdmin
 		-> (!TypeAttribute, !*AttrVarHeap, !*ErrorAdmin)
@@ -1270,7 +1251,6 @@ where
 			TA_Unique
 				# (attr_info_ptr, attr_var_heap) = newPtr AVI_Empty attr_var_heap
 				-> (TA_Var { var & av_info_ptr = attr_info_ptr}, attr_var_heap, error)
-//				-> (PA_BUG (TA_RootVar (abort "SwitchUniquenessBug is on")) root_attr, error)
 	check_attribute attr root_attr name attr_var_heap error
 		= (TA_Multi, attr_var_heap, checkError name "specified attribute not allowed" error)
 
-- 
cgit v1.2.3