Project

General

Profile

« Previous | Next » 

Revision e7cc5186

Added by Pierre-Loïc Garoche almost 6 years ago

Refactor error printing.

View differences:

src/backends/C/c_backend.ml
51 51 
    match Machine_code.get_machine_opt main_node machines with
52 52 
    | None -> begin
53 53 
      Global.main_node := main_node;
54 
      Format.eprintf "Code generation error: %a@." Corelang.pp_error LustreSpec.Main_not_found;
55 
      raise (Corelang.Error (Location.dummy_loc, LustreSpec.Main_not_found))
54 
      Format.eprintf "Code generation error: %a@." Error.pp_error_msg Error.Main_not_found;
55 
      raise (Corelang.Error (Location.dummy_loc, Error.Main_not_found))
56 56 
    end
57 57 
    | Some m -> begin
58 58 
      let source_main_file = (if !Options.cpp then destname ^ "_main.cpp" else destname ^ "_main.c") in (* Could be changed *)
......
73 73 
    match Machine_code.get_machine_opt mauve machines with
74 74 
    | None -> begin
75 75 
      Global.main_node := mauve;
76 
      Format.eprintf "Code generation error: %a@." Corelang.pp_error LustreSpec.Main_not_found;
77 
      raise (Corelang.Error (Location.dummy_loc, LustreSpec.Main_not_found))
76 
      Format.eprintf "Code generation error: %a@." Error.pp_error_msg Error.Main_not_found;
77 
      raise (Corelang.Error (Location.dummy_loc, Error.Main_not_found))
78 78 
    end
79 79 
    | Some m -> begin
80 80 
      let source_mauve_file = destname ^ "_mauve.hpp" in

Also available in: Unified diff