Revision 5f3d7be6 src/backends/VHDL/vhdl_ast_deriving.ml
src/backends/VHDL/vhdl_ast_deriving.ml | ||
---|---|---|
5332 | 5332 |
fun fmt -> |
5333 | 5333 |
function |
5334 | 5334 |
| Library a0 -> |
5335 |
(Format.fprintf fmt "@[<2>library@ ";
|
|
5335 |
(Format.fprintf fmt "library ";
|
|
5336 | 5336 |
((fun x -> |
5337 |
Format.fprintf fmt "@[<2>"; |
|
5338 | 5337 |
ignore |
5339 | 5338 |
(List.fold_left |
5340 | 5339 |
(fun sep -> |
5341 | 5340 |
fun x -> |
5342 | 5341 |
if sep then Format.fprintf fmt "."; |
5343 | 5342 |
((__0 ()) fmt) x; |
5344 |
true) false x); |
|
5345 |
Format.fprintf fmt "@,@]")) a0; |
|
5346 |
Format.fprintf fmt "@]:") |
|
5343 |
true) false x))) a0; |
|
5344 |
Format.fprintf fmt ":") |
|
5347 | 5345 |
| Use a0 -> |
5348 |
(Format.fprintf fmt "@[<2>use@ ";
|
|
5346 |
(Format.fprintf fmt "use ";
|
|
5349 | 5347 |
((fun x -> |
5350 |
Format.fprintf fmt "@[<2>"; |
|
5351 | 5348 |
ignore |
5352 | 5349 |
(List.fold_left |
5353 | 5350 |
(fun sep -> |
5354 | 5351 |
fun x -> |
5355 | 5352 |
if sep then Format.fprintf fmt "."; |
5356 | 5353 |
((__1 ()) fmt) x; |
5357 |
true) false x); |
|
5358 |
Format.fprintf fmt "@,@]")) a0; |
|
5359 |
Format.fprintf fmt "@];")) |
|
5354 |
true) false x))) a0; |
|
5355 |
Format.fprintf fmt ";")) |
|
5360 | 5356 |
[@ocaml.warning "-A"]) |
5361 | 5357 |
|
5362 | 5358 |
and show_vhdl_load_t : vhdl_load_t -> Ppx_deriving_runtime.string = |
... | ... | |
5684 | 5680 |
((let open! Ppx_deriving_runtime in |
5685 | 5681 |
fun fmt -> |
5686 | 5682 |
fun x -> |
5687 |
(( |
|
5688 |
Format.fprintf fmt "@[<v>"; |
|
5683 |
(match x.contexts with |
|
5684 |
| [] -> Format.fprintf fmt ""; |
|
5685 |
| _ -> |
|
5689 | 5686 |
((fun x -> |
5690 | 5687 |
ignore |
5691 | 5688 |
(List.fold_left |
5692 | 5689 |
(fun sep -> |
5693 | 5690 |
fun x -> |
5694 |
if sep then Format.fprintf fmt "@ ";
|
|
5691 |
if sep then Format.fprintf fmt "@.";
|
|
5695 | 5692 |
((__0 ()) fmt) x; |
5696 | 5693 |
true) false x); |
5697 | 5694 |
)) x.contexts; |
5698 |
Format.fprintf fmt "@ "; |
|
5699 |
Format.fprintf fmt "@["; |
|
5700 |
((__1 ()) fmt) x.library; |
|
5701 |
Format.fprintf fmt "@]"; |
|
5702 |
Format.fprintf fmt "@]"; |
|
5703 |
)) |
|
5704 |
) |
|
5695 |
Format.fprintf fmt "@.";); |
|
5696 |
((__1 ()) fmt) x.library;) |
|
5705 | 5697 |
[@ocaml.warning "-A"]) |
5706 | 5698 |
|
5707 | 5699 |
and show_vhdl_design_unit_t : |
... | ... | |
5780 | 5772 |
(List.fold_left |
5781 | 5773 |
(fun sep -> |
5782 | 5774 |
fun x -> |
5783 |
if sep then Format.fprintf fmt "@ ";
|
|
5775 |
if sep then Format.fprintf fmt "@.";
|
|
5784 | 5776 |
((__0 ()) fmt) x; |
5785 | 5777 |
true) false x); |
5786 |
)) x.design_units; |
|
5787 |
) |
|
5778 |
)) x.design_units) |
|
5788 | 5779 |
[@ocaml.warning "-A"]) |
5789 | 5780 |
|
5790 | 5781 |
and show_vhdl_design_file_t : |
Also available in: Unified diff