Revision f22632aa src/clock_calculus.ml
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