Project

General

Profile

Revision 04a188ec src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
140 140
  with
141 141
  | Parse.Error _
142 142
  | Types.Error (_,_) | Clocks.Error (_,_) -> exit 1
143
  | Corelang.Error (loc , kind) (*| Task_set.Error _*) ->
143
  | Error.Error (loc , kind) (*| Task_set.Error _*) ->
144 144
     Error.pp_error loc (fun fmt -> Error.pp_error_msg fmt kind);
145 145
     exit (Error.return_code kind)
146 146
  (* | Causality.Error _  -> exit (Error.return_code Error.AlgebraicLoop) *)

Also available in: Unified diff