Project

General

Profile

« Previous | Next » 

Revision d50b0dc0

Added by Teme Kahsai about 9 years ago

sync

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
......
176 176 
    Stateless.check_compat header
177 177 
  with
178 178 
  | (Types.Error (loc,err)) as exc ->
179 
    eprintf "Type mismatch between computed type and declared type in lustre interface file: %a@."
180 
      Types.pp_error err;
179 
    eprintf "Type mismatch between computed type and declared type in lustre interface file: %a%a@."
180 
      Types.pp_error err
181 
      Location.pp_loc loc;
181 182 
    raise exc
182 183 
  | Clocks.Error (loc, err) as exc ->
183 
    eprintf "Clock mismatch between computed clock and declared clock in lustre interface file: %a@."
184 
      Clocks.pp_error err;
184 
    eprintf "Clock mismatch between computed clock and declared clock in lustre interface file: %a%a@."
185 
      Clocks.pp_error err
186 
      Location.pp_loc loc;
185 187 
    raise exc
186 188 
  | Stateless.Error (loc, err) as exc ->
187 
    eprintf "Stateless status mismatch between defined status and declared status in lustre interface file: %a@."
188 
      Stateless.pp_error err;
189 
    eprintf "Stateless status mismatch between defined status and declared status in lustre interface file: %a%a@."
190 
      Stateless.pp_error err
191 
      Location.pp_loc loc;
189 192 
    raise exc
190 193 

  		




  191
  194
  
    
let is_stateful topdecl =


  		












Also available in:  Unified diff