Project

General

Profile

Revision 0f36882c src/compiler_common.ml

View differences:

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