Project

General

Profile

« Previous | Next » 

Revision eb837d74

Added by Xavier Thirioux over 5 years ago

slight improvement of causality error messages

View differences:

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