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