Project

General

Profile

Revision 990210f3 src/compiler_common.ml

View differences:

src/compiler_common.ml
232 232
  List.fold_left
233 233
    (fun (compilation_dep, type_env, clock_env) dep ->
234 234
      let (local, s) = Corelang.dependency_of_top dep in
235
      let basename = Modules.name_dependency (local, s) in
235
      let basename = Options.name_dependency (local, s) in
236 236
      Log.report ~level:1 (fun fmt -> Format.fprintf fmt "  Library %s@ " basename);
237 237
      let lusic = Modules.import_dependency dep.top_decl_loc (local, s) in
238 238
      (*Log.report ~level:1 (fun fmt -> Format.fprintf fmt "");*)
......
249 249
    deps
250 250
  end
251 251

  
252
let track_exception () =
253
  if !Options.track_exceptions
254
  then (Printexc.print_backtrace stdout; flush stdout)
255
  else ()
256

  
257

  
252 258

  

Also available in: Unified diff