Project

General

Profile

Revision 01d48bb0 src/compiler_common.ml

View differences:

src/compiler_common.ml
73 73
    Parse.report_error err;
74 74
    raise exc
75 75
  | Corelang.Error (loc, err) as exc ->
76
    eprintf "Parsing error %a%a@."
76
    eprintf "Parsing error: %a%a@."
77 77
      Corelang.pp_error err
78 78
      Location.pp_loc loc;
79 79
    raise exc
......
83 83
  try
84 84
    Stateless.check_prog decls
85 85
  with (Stateless.Error (loc, err)) as exc ->
86
    eprintf "Stateless status error %a%a@."
86
    eprintf "Stateless status error: %a%a@."
87 87
      Stateless.pp_error err
88 88
      Location.pp_loc loc;
89 89
    raise exc
......
95 95
      try
96 96
	Typing.type_prog env decls
97 97
      with (Types.Error (loc,err)) as exc ->
98
	eprintf "Typing error %a%a@."
98
	eprintf "Typing error: %a%a@."
99 99
	  Types.pp_error err
100 100
	  Location.pp_loc loc;
101 101
	raise exc
......
112 112
      try
113 113
	Clock_calculus.clock_prog env decls
114 114
      with (Clocks.Error (loc,err)) as exc ->
115
	eprintf "Clock calculus error %a%a@." Clocks.pp_error err Location.pp_loc loc;
115
	eprintf "Clock calculus error: %a%a@." Clocks.pp_error err Location.pp_loc loc;
116 116
	raise exc
117 117
    end
118 118
  in

Also available in: Unified diff