Project

General

Profile

« Previous | Next » 

Revision a28d1ba7

Added by Xavier Thirioux almost 10 years ago

some cosmetic changes in error messages when loading libraries

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@444 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/main_lustre_compiler.ml
76 76 
      else
77 77 
	begin
78 78 
	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. loading compiled header file %s@," header_name);
79 
	  Lusic.check_lusic lusic destname;
79 
	  Modules.check_dependency lusic destname;
80 80 
	  let header = lusic.Lusic.contents in
81 81 
	  let (declared_types_env, declared_clocks_env) = get_envs_from_top_decls header in
82 82 
	  check_compatibility
......
233 233 
      end
234 234 
    else
235 235 
      machine_code
236 
 in
236 
  in
237 237 
  (* Optimize machine code *)
238 238 
  let machine_code =
239 239 
    if !Options.optimization >= 3 && !Options.output <> "horn" then

Also available in: Unified diff