Project

General

Profile

« Previous | Next » 

Revision 7ee5f69e

Added by LĂ©lio Brun 9 months ago

corrections on loggers + spec in AST

View differences:

src/clock_calculus.ml
600 600
      expr.expr_clock <- cres;
601 601
      cres
602 602
  in
603
  Log.report ~level:4 (fun fmt -> Format.fprintf fmt "Clock of expr %a: %a@." Printers.pp_expr expr Clocks.print_ck resulting_ck);
603
  Log.report ~level:4 (fun fmt -> Format.fprintf fmt "Clock of expr %a: %a@ "
604
                          Printers.pp_expr expr Clocks.print_ck resulting_ck);
604 605
  resulting_ck
605 606

  
606 607
let clock_of_vlist vars =
......
686 687
  let ck_outs = clock_of_vlist nd.node_outputs in
687 688
  let ck_node = new_ck (Carrow (ck_ins,ck_outs)) false in
688 689
  unify_imported_clock None ck_node loc;
689
  Log.report ~level:3 (fun fmt -> print_ck fmt ck_node);
690
  Log.report ~level:3 (fun fmt -> Format.fprintf fmt "%a@ " print_ck ck_node);
690 691
  (* Local variables may contain first-order carrier variables that should be generalized.
691 692
     That's not the case for types. *)
692 693
  try_generalize ck_node loc;
......
698 699
  (*  if (is_main && is_polymorphic ck_node) then
699 700
      raise (Error (loc,(Cannot_be_polymorphic ck_node)));
700 701
  *)
701
  Log.report ~level:3 (fun fmt -> print_ck fmt ck_node);
702
  Log.report ~level:3 (fun fmt -> Format.fprintf fmt "%a@ " print_ck ck_node);
702 703
  nd.node_clock <- ck_node;
703 704
  Env.add_value env nd.node_id ck_node
704 705

  

Also available in: Unified diff