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