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