Project

General

Profile

Revision a0c92fa8 src/printers.ml

View differences:

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