Project

General

Profile

Revision 19a1e66b src/printers.ml

View differences:

src/printers.ml
382 382
     fprintf fmt "imported %a;" pp_imported_node ind
383 383
  | Const c -> fprintf fmt "const %a" pp_const_decl c
384 384
  | Open (local, s) -> if local then fprintf fmt "#open \"%s\"" s else fprintf fmt "#open <%s>" s
385
  | Include s -> fprintf fmt "include \"%s\"" s
385 386
  | TypeDef tdef -> fprintf fmt "%a" pp_typedef tdef
386 387
  
387 388
let pp_prog fmt prog =
......
402 403
  | Node nd -> fprintf fmt "node %s@ " nd.node_id
403 404
  | ImportedNode ind -> fprintf fmt "imported node %s" ind.nodei_id
404 405
  | Const c -> fprintf fmt "const %a@ " pp_const_decl c
406
  | Include s -> fprintf fmt "include \"%s\"" s
405 407
  | Open (local, s) -> if local then fprintf fmt "#open \"%s\"@ " s else fprintf fmt "#open <%s>@ " s
406 408
  | TypeDef tdef -> fprintf fmt "type %s;@ " tdef.tydef_id
407 409
  
......
409 411
  match decl.top_decl_desc with
410 412
  | ImportedNode ind -> fprintf fmt "%a;@ " pp_imported_node ind
411 413
  | Const c -> fprintf fmt "const %a@ " pp_const_decl c
414
  | Include s -> fprintf fmt "include \"%s\"" s
412 415
  | Open (local, s) -> if local then fprintf fmt "#open \"%s\"@ " s else fprintf fmt "#open <%s>@ " s
413 416
  | TypeDef tdef -> fprintf fmt "%a@ " pp_typedef tdef
414 417
  | Node _ -> assert false

Also available in: Unified diff