Revision 6aeb3388 src/clock_calculus.ml
| src/clock_calculus.ml | ||
|---|---|---|
| 846 | 846 |
clock_imported_node env decl.top_decl_loc nd |
| 847 | 847 |
| Consts clist -> |
| 848 | 848 |
clock_top_consts env clist |
| 849 |
| Open _ ->
|
|
| 850 |
env
|
|
| 849 |
| Open _ |
|
| 850 |
| Type _ -> env
|
|
| 851 | 851 |
|
| 852 | 852 |
let clock_prog env decls = |
| 853 | 853 |
List.fold_left (fun e decl -> clock_top_decl e decl) env decls |
| ... | ... | |
| 878 | 878 |
uneval_node_generics (nd.node_inputs @ nd.node_locals @ nd.node_outputs) |
| 879 | 879 |
| ImportedNode nd -> |
| 880 | 880 |
uneval_node_generics (nd.nodei_inputs @ nd.nodei_outputs) |
| 881 |
| Consts clist -> () |
|
| 882 |
| Open _ -> () |
|
| 881 |
| Consts _ |
|
| 882 |
| Open _ |
|
| 883 |
| Type _ -> () |
|
| 883 | 884 |
|
| 884 | 885 |
let uneval_prog_generics prog = |
| 885 | 886 |
List.iter uneval_top_generics prog |
Also available in: Unified diff