Project

General

Profile

Revision 90028770

View differences:

include/math.lusi
1
function pow (x:real; n: real) returns (y: real) prototype C lib m;
2
function atan (x: real) returns (y: real) prototype C lib m;
3
function sqrt (x: real) returns (y: real) prototype C lib m;
4
function cos (x: real) returns (y: real) prototype C lib m;
5
function sin (x: real) returns (y: real) prototype C lib m;
src/main_lustre_compiler.ml
35 35
  try
36 36
    Stateless.check_prog decls
37 37
  with (Stateless.Error (loc, err)) as exc ->
38
    Format.eprintf "Stateless status error at loc %a: %a@."
39
      Location.pp_loc loc
40
      Stateless.pp_error err;
38
    eprintf "Stateless status error %a%a@."
39
      Stateless.pp_error err
40
      Location.pp_loc loc;
41 41
    raise exc
42 42

  
43 43
let type_decls env decls =  
......
47 47
      try
48 48
	Typing.type_prog env decls
49 49
      with (Types.Error (loc,err)) as exc ->
50
	Format.eprintf "Typing error at loc %a: %a@."
51
	  Location.pp_loc loc
52
	  Types.pp_error err;
50
	eprintf "Typing error %a%a@."
51
	  Types.pp_error err
52
	  Location.pp_loc loc;
53 53
	raise exc
54 54
    end 
55 55
  in
......
64 64
      try
65 65
	Clock_calculus.clock_prog env decls
66 66
      with (Clocks.Error (loc,err)) as exc ->
67
	Location.print loc;
68
	eprintf "Clock calculus error at loc %a: %a@." Location.pp_loc loc Clocks.pp_error err;
67
	eprintf "Clock calculus error %a%a@." Clocks.pp_error err Location.pp_loc loc;
69 68
	raise exc
70 69
    end
71 70
  in
......
88 87
      Parse.report_error err;
89 88
      raise exc
90 89
    | Corelang.Error (loc, err) as exc -> (
91
      Format.eprintf "Parsing error at loc %a: %a@."
92
	Location.pp_loc loc
93
       Corelang.pp_error err;
90
      eprintf "Parsing error %a%a@."
91
	Corelang.pp_error err
92
	Location.pp_loc loc;
94 93
      raise exc
95 94
    )
96 95

  
......
118 117
      Parse.report_error err;
119 118
      raise exc
120 119
    | Corelang.Error (loc, err) as exc ->
121
      Format.eprintf "Parsing error at loc %a: %a@."
122
	Location.pp_loc loc
123
	Corelang.pp_error err;
120
      eprintf "Parsing error %a%a@."
121
	Corelang.pp_error err
122
	Location.pp_loc loc;
124 123
      raise exc
125 124
  in
126 125
  (* Extracting dependencies *)
......
144 143
	  Env.overwrite type_env lusi_type_env,
145 144
	  Env.overwrite clock_env lusi_clock_env      
146 145
      with Sys_error msg -> (
147
	Format.eprintf "Failure: impossible to load library %s.@.%s@." s msg;
146
	eprintf "Failure: impossible to load library %s.@.%s@." s msg;
148 147
	exit 1
149 148
      )
150 149
    )  ([], Basic_library.type_env, Basic_library.clock_env) dependencies
......
233 232
      Printers.pp_lusi_header lusi_fmt source_name prog
234 233
    )
235 234
    | (Types.Error (loc,err)) as exc ->
236
      Format.eprintf "Type mismatch between computed type and declared type in lustre interface file: %a@."
235
      eprintf "Type mismatch between computed type and declared type in lustre interface file: %a@."
237 236
	Types.pp_error err;
238 237
      raise exc
239 238
    | Clocks.Error (loc, err) as exc ->
240
      Format.eprintf "Clock mismatch between computed clock and declared clock in lustre interface file: %a@."
239
      eprintf "Clock mismatch between computed clock and declared clock in lustre interface file: %a@."
241 240
	Clocks.pp_error err;
242 241
      raise exc
243 242
    | Stateless.Error (loc, err) as exc ->
244
      Format.eprintf "Stateless status mismatch between defined status and declared status in lustre interface file: %a@."
243
      eprintf "Stateless status mismatch between defined status and declared status in lustre interface file: %a@."
245 244
	Stateless.pp_error err;
246 245
      raise exc
247 246
  in
......
275 274
    Unix.mkdir !Options.dest_dir (Unix.stat ".").Unix.st_perm
276 275
  );
277 276
  if (Unix.stat !Options.dest_dir).Unix.st_kind <> Unix.S_DIR then (
278
    Format.eprintf "Failure: destination %s is not a directory.@.@." !Options.dest_dir;
277
    eprintf "Failure: destination %s is not a directory.@.@." !Options.dest_dir;
279 278
    exit 1
280 279
  );
281 280
  (* Printing code *)

Also available in: Unified diff