Revision a0c92fa8 src/printers.ml
| src/printers.ml | ||
|---|---|---|
| 601 | 601 |
| Index i -> fprintf fmt "[%a]" Dimension.pp_dimension i |
| 602 | 602 |
| Field f -> fprintf fmt ".%s" f |
| 603 | 603 |
|
| 604 |
let pp_node_list fmt prog = |
|
| 605 |
Format.fprintf fmt "@[<h 2>%a@]" |
|
| 606 |
(fprintf_list |
|
| 607 |
~sep:"@ " |
|
| 608 |
(fun fmt decl -> |
|
| 609 |
match decl.top_decl_desc with |
|
| 610 |
| Node nd -> Format.fprintf fmt "%s" nd.node_id |
|
| 611 |
| _ -> () |
|
| 612 |
)) |
|
| 613 |
prog |
|
| 614 |
|
|
| 604 | 615 |
(* Local Variables: *) |
| 605 | 616 |
(* compile-command:"make -C .." *) |
| 606 | 617 |
(* End: *) |
Also available in: Unified diff