diff options
author | sjakie | 2002-10-30 10:30:25 +0000 |
---|---|---|
committer | sjakie | 2002-10-30 10:30:25 +0000 |
commit | ed43105eed9ce791936faf82975409aea86ab8c1 (patch) | |
tree | 507c4255c2563853d6b2784237fa4911eacc4801 /frontend/frontend.icl | |
parent | - added: DynamicRepresentation_String was removed (diff) |
Removed at least 4 bugs (maybe more, but i can't remember):
better check for properties of abstract types,
check for linearity of instance types,
uniqueness bug for type synonyms,
kind check for function (arrow) types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1262 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/frontend.icl')
-rw-r--r-- | frontend/frontend.icl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontend/frontend.icl b/frontend/frontend.icl index f61feb6..9982011 100644 --- a/frontend/frontend.icl +++ b/frontend/frontend.icl @@ -98,8 +98,10 @@ frontEndInterface options mod_ident search_paths cached_dcl_modules functions_an # (type_groups, ti_common_defs, td_infos, icl_common, dcl_mods, type_heaps, error_admin) = partionateAndExpandTypes icl_used_module_numbers main_dcl_module_n icl_common dcl_mods type_heaps error_admin - ti_common_defs = { ti_common_defs & [main_dcl_module_n] = icl_common } - # (td_infos, th_vars, error_admin) = analyseTypeDefs ti_common_defs type_groups td_infos type_heaps.th_vars error_admin +// ti_common_defs = { ti_common_defs & [main_dcl_module_n] = icl_common } +// # (td_infos, th_vars, error_admin) = analyseTypeDefs ti_common_defs type_groups td_infos type_heaps.th_vars error_admin + ({com_type_defs}, ti_common_defs) = replace ti_common_defs main_dcl_module_n icl_common + # (td_infos, th_vars, error_admin) = analyseTypeDefs ti_common_defs type_groups com_type_defs main_dcl_module_n td_infos type_heaps.th_vars error_admin # (class_infos, td_infos, th_vars, error_admin) = determineKindsOfClasses icl_used_module_numbers ti_common_defs td_infos th_vars error_admin # (fun_defs, dcl_mods, td_infos, th_vars, hp_expression_heap, gen_heap, error_admin) |