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