Project

General

Profile

Revision 5c1184ad src/clock_calculus.ml

View differences:

src/clock_calculus.ml
769 769
    clock_function env decl.top_decl_loc fcn
770 770
  | Consts clist ->
771 771
    clock_top_consts env clist
772
  | Include _ ->
772
  | Open _ ->
773 773
    env
774 774

  
775 775
let clock_prog env decls =
776
  ignore(List.fold_left (fun e decl -> clock_top_decl e decl) env decls)
777

  
776
  List.fold_left (fun e decl -> clock_top_decl e decl) env decls
778 777

  
778
let check_env_compat declared computed =
779
  Env.iter declared (fun k decl_clock_k -> 
780
    let computed_c = Env.lookup_value computed k in
781
    try_unify decl_clock_k computed_c Location.dummy_loc
782
  ) 
779 783
(* Local Variables: *)
780 784
(* compile-command:"make -C .." *)
781 785
(* End: *)

Also available in: Unified diff