ensure that all modules properly depend on String and Array

typeload.ml

@@ -40,7 +40,6 @@ let make_module ctx mpath file tdecls loadp =
 		m_types = [];
 		m_extra = module_extra (Common.unique_full_path file) (Common.get_signature ctx.com) (file_time file) (if ctx.in_macro then MMacro else MCode);
 	} in
-	if ctx.g.std != null_module then add_dependency m ctx.g.std;
 	let pt = ref None in
 	let rec make_decl acc decl =
 		let p = snd decl in
@@ -2336,6 +2335,11 @@ let rec init_module_type ctx context_init do_init (decl,p) =
 let type_module ctx m file tdecls p =
 	let m, decls, tdecls = make_module ctx m file tdecls p in
 	add_module ctx m p;
+	if ctx.g.std != null_module then begin
+		add_dependency m ctx.g.std;
+		(* this will ensure both String and (indirectly) Array which are basic types which might be referenced *)
+		add_dependency m (match follow (load_core_type ctx "String") with TInst (c,_) -> c.cl_module | _ -> assert false);
+	end;
 	(* define the per-module context for the next pass *)
 	let ctx = {
 		com = ctx.com;