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