Revision 17abbe95 src/corelang.ml
| src/corelang.ml | ||
|---|---|---|
| 136 | 136 |
| Consts of const_desc list |
| 137 | 137 |
| ImportedNode of imported_node_desc |
| 138 | 138 |
| ImportedFun of imported_fun_desc |
| 139 |
| Open of string
|
|
| 139 |
| Include of string
|
|
| 140 | 140 |
|
| 141 | 141 |
type top_decl = |
| 142 | 142 |
{top_decl_desc: top_decl_desc;
|
| ... | ... | |
| 493 | 493 |
fun consts decl -> |
| 494 | 494 |
match decl.top_decl_desc with |
| 495 | 495 |
| Consts clist -> clist@consts |
| 496 |
| Node _ | ImportedNode _ | ImportedFun _ | Open _ -> consts
|
|
| 496 |
| Node _ | ImportedNode _ | ImportedFun _ | Include _ -> consts
|
|
| 497 | 497 |
) [] prog |
| 498 | 498 |
|
| 499 | 499 |
|
| ... | ... | |
| 502 | 502 |
fun nodes decl -> |
| 503 | 503 |
match decl.top_decl_desc with |
| 504 | 504 |
| Node nd -> nd::nodes |
| 505 |
| Consts _ | ImportedNode _ | ImportedFun _ | Open _ -> nodes
|
|
| 505 |
| Consts _ | ImportedNode _ | ImportedFun _ | Include _ -> nodes
|
|
| 506 | 506 |
) [] prog |
| 507 | 507 |
|
| 508 | 508 |
let prog_unfold_consts prog = |
| ... | ... | |
| 587 | 587 |
fprintf fmt "%s: " ind.fun_id; |
| 588 | 588 |
Utils.reset_names (); |
| 589 | 589 |
fprintf fmt "%a@ " Types.print_ty ind.fun_type |
| 590 |
| Consts _ | Open _ -> ()
|
|
| 590 |
| Consts _ | Include _ -> ()
|
|
| 591 | 591 |
|
| 592 | 592 |
let pp_prog_type fmt tdecl_list = |
| 593 | 593 |
Utils.fprintf_list ~sep:"" pp_decl_type fmt tdecl_list |
| ... | ... | |
| 600 | 600 |
fprintf fmt "%a@ " Clocks.print_ck nd.node_clock |
| 601 | 601 |
| ImportedNode ind -> |
| 602 | 602 |
fprintf fmt "%s: " ind.nodei_id; |
| 603 |
Utils.reset_names (); |
|
| 604 |
fprintf fmt "%a@ " Clocks.print_ck ind.nodei_clock |
|
| 605 |
| ImportedFun _ | Consts _ | Open _ -> ()
|
|
| 603 |
Utils.reset_names ();
|
|
| 604 |
fprintf fmt "%a@ " Clocks.print_ck ind.nodei_clock
|
|
| 605 |
| ImportedFun _ | Consts _ | Include _ -> ()
|
|
| 606 | 606 |
|
| 607 | 607 |
let pp_prog_clock fmt prog = |
| 608 | 608 |
Utils.fprintf_list ~sep:"" pp_decl_clock fmt prog |
Also available in: Unified diff