From f8e3447fac033a1ab2ba61ea30da48e5421e750d Mon Sep 17 00:00:00 2001
From: martinw
Date: Mon, 12 Mar 2001 14:57:55 +0000
Subject: Ensure that modules that are imported from the main dcl module appear
 in ".depend" instructions in abc files

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@323 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/check.icl | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'frontend')

diff --git a/frontend/check.icl b/frontend/check.icl
index db553dc..f9b1f9d 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -1435,10 +1435,12 @@ check_module2 mod_name mod_imported_objects mod_imports mod_type icl_global_func
 
 	| not cs.cs_error.ea_ok
 		= (False, abort "evaluated error 1 (check.icl)", {}, {}, No, {}, cs.cs_x.x_main_dcl_module_n,heaps, cs.cs_predef_symbols, cs.cs_symbol_table, cs.cs_error.ea_file /* TD */, [])
-	# (imported_module_numbers, dcl_modules)
+	# (imported_module_numbers_of_main_dcl_mod, dcl_modules)
+			= dcl_modules![main_dcl_module_n].dcl_imported_module_numbers
+	  (imported_module_numbers, dcl_modules)
 	  		= foldSt compute_used_module_nrs
 			  		expl_imp_indices
-	  				(addNr main_dcl_module_n (addNr cPredefinedModuleIndex EndNumbers),
+	  				(addNr cPredefinedModuleIndex imported_module_numbers_of_main_dcl_mod,
 						dcl_modules)
 
 	  dcl_modules = add_function_conversion_table dcl_to_icl_function_conversions main_dcl_module_n dcl_modules
-- 
cgit v1.2.3