diff options
| author | johnvg | 2011-09-06 09:50:08 +0000 |
|---|---|---|
| committer | johnvg | 2011-09-06 09:50:08 +0000 |
| commit | 039ff6884aa2778d9d7019c1114d648f5a14e888 (patch) | |
| tree | 839323a06cd3452a4f91a4ed11725b84875aa2f9 /frontend/checktypes.icl | |
| parent | move mapSt2 and mapY2St from module check to module utilities (diff) | |
remove unused function getGenericDef
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1969 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 9 |
1 files changed, 0 insertions, 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}) |