Project

General

Profile

Revision d50b0dc0 src/compiler_common.ml

View differences:

src/compiler_common.ml
73 73
    Parse.report_error err;
74 74
    raise exc
75 75
  | Corelang.Error (loc, err) as exc ->
76
    eprintf "Parsing error %a%a@."
76
    eprintf "Parsing error: %a%a@."
77 77
      Corelang.pp_error err
78 78
      Location.pp_loc loc;
79 79
    raise exc
......
83 83
  try
84 84
    Stateless.check_prog decls
85 85
  with (Stateless.Error (loc, err)) as exc ->
86
    eprintf "Stateless status error %a%a@."
86
    eprintf "Stateless status error: %a%a@."
87 87
      Stateless.pp_error err
88 88
      Location.pp_loc loc;
89 89
    raise exc
......
95 95
      try
96 96
	Typing.type_prog env decls
97 97
      with (Types.Error (loc,err)) as exc ->
98
	eprintf "Typing error %a%a@."
98
	eprintf "Typing error: %a%a@."
99 99
	  Types.pp_error err
100 100
	  Location.pp_loc loc;
101 101
	raise exc
......
112 112
      try
113 113
	Clock_calculus.clock_prog env decls
114 114
      with (Clocks.Error (loc,err)) as exc ->
115
	eprintf "Clock calculus error %a%a@." Clocks.pp_error err Location.pp_loc loc;
115
	eprintf "Clock calculus error: %a%a@." Clocks.pp_error err Location.pp_loc loc;
116 116
	raise exc
117 117
    end
118 118
  in
......
176 176
    Stateless.check_compat header
177 177
  with
178 178
  | (Types.Error (loc,err)) as exc ->
179
    eprintf "Type mismatch between computed type and declared type in lustre interface file: %a@."
180
      Types.pp_error err;
179
    eprintf "Type mismatch between computed type and declared type in lustre interface file: %a%a@."
180
      Types.pp_error err
181
      Location.pp_loc loc;
181 182
    raise exc
182 183
  | Clocks.Error (loc, err) as exc ->
183
    eprintf "Clock mismatch between computed clock and declared clock in lustre interface file: %a@."
184
      Clocks.pp_error err;
184
    eprintf "Clock mismatch between computed clock and declared clock in lustre interface file: %a%a@."
185
      Clocks.pp_error err
186
      Location.pp_loc loc;
185 187
    raise exc
186 188
  | Stateless.Error (loc, err) as exc ->
187
    eprintf "Stateless status mismatch between defined status and declared status in lustre interface file: %a@."
188
      Stateless.pp_error err;
189
    eprintf "Stateless status mismatch between defined status and declared status in lustre interface file: %a%a@."
190
      Stateless.pp_error err
191
      Location.pp_loc loc;
189 192
    raise exc
190 193

  
191 194
let is_stateful topdecl =

Also available in: Unified diff