aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorjohnvg2002-07-11 11:38:55 +0000
committerjohnvg2002-07-11 11:38:55 +0000
commit2b32707190cc4bb6eae53e3c099cf2018bf0294f (patch)
treea05749691fe090c9efdbb8794ba9af0efd61b4fa /frontend
parentReduced default compiler heap size from 20M to 16M. (diff)
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
Diffstat (limited to 'frontend')
-rw-r--r--frontend/check.icl9
1 files 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