From 039ff6884aa2778d9d7019c1114d648f5a14e888 Mon Sep 17 00:00:00 2001 From: johnvg Date: Tue, 6 Sep 2011 09:50:08 +0000 Subject: remove unused function getGenericDef git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1969 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/checktypes.icl | 9 --------- 1 file changed, 9 deletions(-) diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index e680a55..77b219b 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -558,15 +558,6 @@ getClassDef class_index type_module module_index class_defs modules class_def = com_class_defs.[class_index] = (class_def, class_index, class_defs, modules) -getGenericDef :: !Index !Index !Index !u:{# GenericDef} !v:{# DclModule} -> (!GenericDef, !Index , !u:{# GenericDef}, !v:{# DclModule}) -getGenericDef generic_index type_module module_index generic_defs modules - | type_module == module_index - # (generic_def, generic_defs) = generic_defs![generic_index] - = (generic_def, generic_index, generic_defs, modules) - # ({dcl_common={com_generic_defs}}, modules) = modules![type_module] - generic_def = com_generic_defs.[generic_index] - = (generic_def, generic_index, generic_defs, modules) - checkTypeVar :: !Level !DemandedAttributeKind !TypeVar !TypeAttribute !(!*OpenTypeInfo, !*CheckState) -> (! TypeVar, !TypeAttribute, !(!*OpenTypeInfo, !*CheckState)) checkTypeVar scope dem_attr tv=:{tv_ident=var_ident=:{id_name,id_info}} tv_attr (oti, cs=:{cs_symbol_table}) -- cgit v1.2.3