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