Project

General

Profile

Revision 25320f03 src/scheduling.ml

View differences:

src/scheduling.ml
250 250
   node_schs
251 251

  
252 252

  
253
   (* Sort eqs according to schedule *)
253
(* Sort eqs according to schedule *)
254 254
(* Sort the set of equations of node [nd] according
255 255
   to the computed schedule [sch]
256 256
*)
......
273 273
      sch
274 274
  in
275 275
  begin
276
    if List.length remainder > 0 then (
277
      Format.eprintf "Equations not used are@.%a@.Full equation set is:@.%a@.@?"
278
		     Printers.pp_node_eqs remainder
279
      		     Printers.pp_node_eqs eqs;
280
      assert false);
281
    List.rev eqs_rev
276
    let eqs = List.rev eqs_rev in 
277
    let unused =
278
      if List.length remainder > 0 then (
279
        Log.report ~level:3 (fun fmt -> Format.fprintf fmt
280
                                       "[Warning] Equations not used are@ %a@ Full equation set is:@ %a@ "
281
		                       Printers.pp_node_eqs remainder
282
      		                     Printers.pp_node_eqs eqs
283
          );
284
        let vars = List.fold_left (fun accu eq -> eq.eq_lhs @ accu) [] remainder in
285
        Log.report ~level:1 (fun fmt -> Format.fprintf fmt
286
                                      "[Warning] Unused variables: %a@ "
287
                                      (fprintf_list ~sep:", " Format.pp_print_string)
288
                                  vars
289
          );
290
        vars
291
      )
292
      else
293
        []
294
    in
295
    eqs, unused
282 296
  end
283 297

  
284 298
(* Local Variables: *)

Also available in: Unified diff