Project

General

Profile

Revision 6afa892a src/clock_calculus.ml

View differences:

src/clock_calculus.ml
776 776
      (try_generalize ck vdecl.var_loc; ck)
777 777
    else
778 778
 *)
779
      if Types.is_clock_type vdecl.var_type
779
      if Types.get_clock_base_type vdecl.var_type <> None
780 780
      then new_ck (Ccarrying ((new_carrier Carry_name scoped),ck)) scoped
781 781
      else ck in
782 782
  vdecl.var_clock <- ck;
......
808 808
  Log.report ~level:3 (fun fmt -> print_ck fmt ck_node);
809 809
  (* Local variables may contain first-order carrier variables that should be generalized.
810 810
     That's not the case for types. *)
811
  try_generalize ck_node loc;
812
(*
811 813
  List.iter (fun vdecl -> try_generalize vdecl.var_clock vdecl.var_loc) nd.node_inputs;
812
  List.iter (fun vdecl -> try_generalize vdecl.var_clock vdecl.var_loc) nd.node_outputs;
814
  List.iter (fun vdecl -> try_generalize vdecl.var_clock vdecl.var_loc) nd.node_outputs;*)
813 815
  (*List.iter (fun vdecl -> try_generalize vdecl.var_clock vdecl.var_loc) nd.node_locals;*)
814 816
  (* TODO : Xavier pourquoi ai je cette erreur ? *)
815 817
(*  if (is_main && is_polymorphic ck_node) then
......
889 891
*)
890 892
let uneval_vdecl_generics vdecl =
891 893
 (*Format.eprintf "Clock_calculus.uneval_vdecl_generics %a@." Printers.pp_node_var vdecl;*)
892
 if Types.is_clock_type vdecl.var_type
894
 if Types.get_clock_base_type vdecl.var_type <> None
893 895
 then
894 896
   match get_carrier_name vdecl.var_clock with
895 897
   | None    -> (Format.eprintf "internal error: %a@." print_ck vdecl.var_clock; assert false)

Also available in: Unified diff