Project

General

Profile

Revision 6efbcb73 src/compiler_common.ml

View differences:

src/compiler_common.ml
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