Project

General

Profile

Revision d4807c3d src/clock_calculus.ml

View differences:

src/clock_calculus.ml
522 522
(* ck1 is a subtype of ck2 *)
523 523
let rec sub_unify sub ck1 ck2 =
524 524
  match (repr ck1).cdesc, (repr ck2).cdesc with
525
  | Ctuple [c1]        , Ctuple [c2]        -> sub_unify sub c1 c2
526 525
  | Ctuple cl1         , Ctuple cl2         ->
527 526
    if List.length cl1 <> List.length cl2
528 527
    then raise (Unify (ck1, ck2))
......
792 791
  (* let is_main = nd.node_id = !Options.main_node in *)
793 792
  let new_env = clock_var_decl_list env false nd.node_inputs in
794 793
  let new_env = clock_var_decl_list new_env true nd.node_outputs in
795
  let new_env = clock_var_decl_list new_env false nd.node_locals in
794
  let new_env = clock_var_decl_list new_env true nd.node_locals in
796 795
  List.iter (clock_eq new_env) nd.node_eqs;
797 796
  let ck_ins = clock_of_vlist nd.node_inputs in
798 797
  let ck_outs = clock_of_vlist nd.node_outputs in
......
803 802
     That's not the case for types. *)
804 803
  List.iter (fun vdecl -> try_generalize vdecl.var_clock vdecl.var_loc) nd.node_inputs;
805 804
  List.iter (fun vdecl -> try_generalize vdecl.var_clock vdecl.var_loc) nd.node_outputs;
806
  List.iter (fun vdecl -> try_generalize vdecl.var_clock vdecl.var_loc) nd.node_locals;
805
  (*List.iter (fun vdecl -> try_generalize vdecl.var_clock vdecl.var_loc) nd.node_locals;*)
807 806
  (* TODO : Xavier pourquoi ai je cette erreur ? *)
808 807
(*  if (is_main && is_polymorphic ck_node) then
809 808
    raise (Error (loc,(Cannot_be_polymorphic ck_node)));

Also available in: Unified diff