Project

General

Profile

Revision 01d48bb0 src/clock_calculus.ml

View differences:

src/clock_calculus.ml
779 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
  vdecl.var_clock <- ck;
782
  (if vdecl.var_dec_const
783
   then match vdecl.var_dec_value with
784
   | None   -> ()
785
   | Some v ->
786
     begin
787
       let ck_static = clock_expr env v in
788
       try_unify ck ck_static v.expr_loc
789
     end);
790
  try_unify ck vdecl.var_clock vdecl.var_loc;
783 791
  Env.add_value env vdecl.var_id ck
784 792

  
785 793
(* Clocks a variable declaration list *)

Also available in: Unified diff