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