Revision 0f36882c src/compiler_common.ml
src/compiler_common.ml | ||
---|---|---|
216 | 216 |
|
217 | 217 |
|
218 | 218 |
let import_dependencies prog = |
219 |
Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. extracting dependencies@,");
|
|
219 |
Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 0>.. extracting dependencies@ ");
|
|
220 | 220 |
let dependencies = Corelang.get_dependencies prog in |
221 | 221 |
let deps = |
222 | 222 |
List.fold_left |
223 | 223 |
(fun (compilation_dep, type_env, clock_env) dep -> |
224 | 224 |
let (local, s) = Corelang.dependency_of_top dep in |
225 | 225 |
let basename = Modules.name_dependency (local, s) in |
226 |
Log.report ~level:1 (fun fmt -> Format.fprintf fmt "@[<v 0>Library %s@," basename);
|
|
226 |
Log.report ~level:1 (fun fmt -> Format.fprintf fmt " Library %s@ " basename);
|
|
227 | 227 |
let lusic = Modules.import_dependency dep.top_decl_loc (local, s) in |
228 |
Log.report ~level:1 (fun fmt -> Format.fprintf fmt "@]@ ");
|
|
228 |
(*Log.report ~level:1 (fun fmt -> Format.fprintf fmt "");*)
|
|
229 | 229 |
let (lusi_type_env, lusi_clock_env) = get_envs_from_top_decls lusic.Lusic.contents in |
230 | 230 |
let is_stateful = List.exists is_stateful lusic.Lusic.contents in |
231 | 231 |
let new_dep = Dep (local, s, lusic.Lusic.contents, is_stateful ) in |
Also available in: Unified diff