Revision eb837d74
Added by Xavier Thirioux over 8 years ago
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 470 | 470 |
| Parse.Error _ |
| 471 | 471 |
| Types.Error (_,_) | Clocks.Error (_,_) |
| 472 | 472 |
| Corelang.Error _ (*| Task_set.Error _*) |
| 473 |
| Causality.Cycle _ -> exit 1
|
|
| 473 |
| Causality.Error _ -> exit 1
|
|
| 474 | 474 |
| Sys_error msg -> (eprintf "Failure: %s@." msg) |
| 475 | 475 |
| exc -> (Utils.track_exception (); raise exc) |
| 476 | 476 |
|
Also available in: Unified diff
slight improvement of causality error messages