Project

General

Profile

Revision f4cba4b8 src/clock_calculus.ml

View differences:

src/clock_calculus.ml
794 794

  
795 795
let check_env_compat header declared computed =
796 796
  uneval_prog_generics header;
797
  Env.iter declared (fun k decl_clock_k -> 
798
    let computed_c = instantiate (ref []) (ref []) (Env.lookup_value computed k) in
799
    try_semi_unify decl_clock_k computed_c Location.dummy_loc
800
  ) 
797
  Env.iter declared (fun k decl_clock_k ->
798
      try
799
        let computed_c = instantiate (ref []) (ref []) (Env.lookup_value computed k) in
800
        try_semi_unify decl_clock_k computed_c Location.dummy_loc
801
      with Not_found -> (* If the lookup failed then either an actual
802
                           required element should have been declared
803
                           and is missing but typing should have catch
804
                           it, or it was a contract and does not
805
                           require this additional check.  *)
806
          ()
807
    ) 
801 808
(* Local Variables: *)
802 809
(* compile-command:"make -C .." *)
803 810
(* End: *)

Also available in: Unified diff