Project

General

Profile

Revision 54ae8ac7 src/printers.ml

View differences:

src/printers.ml
255 255
    pp_node_args ind.nodei_outputs
256 256
    (fun fmt -> if ind.nodei_stateless then Format.fprintf fmt "stateless") 
257 257

  
258
let pp_const_list fmt clist = 
259
  fprintf_list ~sep:"@ " (fun fmt cdecl ->
260
    fprintf fmt "%s = %a;"
261
      cdecl.const_id pp_const cdecl.const_value) fmt clist
262

  
258 263
let pp_decl fmt decl =
259 264
  match decl.top_decl_desc with
260 265
  | Node nd -> fprintf fmt "%a@ " pp_node nd
261 266
  | ImportedNode ind ->
262 267
    fprintf fmt "imported %a;@ " pp_imported_node ind
263
  | Consts clist -> (
264
    fprintf fmt "const %a@ " 
265
      (fprintf_list ~sep:"@ " (fun fmt cdecl ->
266
	fprintf fmt "%s = %a;"
267
	  cdecl.const_id pp_const cdecl.const_value)) clist)
268
  | Open s -> fprintf fmt "open \"%s\"" s
268
  | Consts clist -> (fprintf fmt "const %a@ " pp_const_list clist)
269
  | Open (local, s) -> if local then fprintf fmt "open \"%s\"" s else fprintf fmt "open <%s>" s
269 270

  
270 271

  
271 272
let pp_prog fmt prog = 
......
275 276
  match decl.top_decl_desc with
276 277
  | Node nd -> fprintf fmt "node %s@ " nd.node_id
277 278
  | ImportedNode ind -> fprintf fmt "imported node %s" ind.nodei_id
278
  | Consts clist -> (
279
    fprintf fmt "const %a@ " 
280
      (fprintf_list ~sep:"@ " (fun fmt cdecl ->
281
	pp_print_string fmt cdecl.const_id)) clist)
282
  | Open s -> fprintf fmt "open \"%s\"" s
279
  | Consts clist -> (fprintf fmt "const %a@ " pp_const_list clist)
280
    | Open (local, s) -> if local then fprintf fmt "open \"%s\"" s else fprintf fmt "open <%s>" s
283 281

  
284 282
let pp_lusi fmt decl = 
285 283
  match decl.top_decl_desc with
......
290 288
      nd.node_id
291 289
      pp_node_args nd.node_inputs
292 290
      pp_node_args nd.node_outputs
293
  | ImportedNode _ | Consts _ | Open _ -> ()
291
| Consts clist -> (fprintf fmt "const %a@ " pp_const_list clist)
292
| ImportedNode _ | Open _ -> ()
294 293

  
295 294

  
296 295

  

Also available in: Unified diff