From 2b32707190cc4bb6eae53e3c099cf2018bf0294f Mon Sep 17 00:00:00 2001 From: johnvg Date: Thu, 11 Jul 2002 11:38:55 +0000 Subject: call 'check_needed_modules_are_imported' after checking instances git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1142 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/check.icl | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/frontend/check.icl b/frontend/check.icl index e9588e4..572fc3c 100644 --- a/frontend/check.icl +++ b/frontend/check.icl @@ -2476,18 +2476,19 @@ check_module2 mod_name mod_modification_time mod_imported_objects mod_imports mo (icl_functions, e_info, heaps, cs) = checkGlobalFunctionsInRanges icl_global_functions_ranges main_dcl_module_n local_functions_index_offset icl_functions e_info heaps cs cs = check_start_rule mod_type mod_name icl_global_functions_ranges cs - cs = check_needed_modules_are_imported mod_name ".icl" cs (icl_functions, e_info, heaps, cs) = checkGlobalFunctionsInRanges icl_generic_ranges main_dcl_module_n local_functions_index_offset icl_functions e_info heaps cs - (icl_functions, e_info, heaps, {cs_symbol_table, cs_predef_symbols, cs_error,cs_x }) + (icl_functions, e_info, heaps, cs) = checkInstanceBodies icl_instances_ranges local_functions_index_offset icl_functions e_info heaps cs + cs = check_needed_modules_are_imported mod_name ".icl" cs + {cs_symbol_table, cs_predef_symbols, cs_error,cs_x } = cs + (icl_functions, hp_type_heaps, cs_error) - = foldSt checkSpecifiedInstanceType instance_types (icl_functions, heaps.hp_type_heaps, cs_error) + = foldSt checkSpecifiedInstanceType instance_types (icl_functions, heaps.hp_type_heaps, cs_error) - heaps = { heaps & hp_type_heaps = hp_type_heaps } cs_symbol_table = removeDeclarationsFromSymbolTable local_defs cGlobalScope cs_symbol_table -- cgit v1.2.3