Revision ccd386cb
| src/backends/VHDL/mini_vhdl_ast_pp.ml | ||
|---|---|---|
| 269 | 269 |
(match sensit_list with |
| 270 | 270 |
| [] -> (); |
| 271 | 271 |
| _ -> |
| 272 |
Format.fprintf fmt "(@[<v>"; |
|
| 272 |
Format.fprintf fmt " on (@[<v>";
|
|
| 273 | 273 |
((fun x -> |
| 274 | 274 |
ignore |
| 275 | 275 |
(List.fold_left |
| ... | ... | |
| 624 | 624 |
Format.fprintf fmt ": "); |
| 625 | 625 |
Format.fprintf fmt "process "; |
| 626 | 626 |
(match x.active_sigs with |
| 627 |
| [] -> Format.fprintf fmt "";
|
|
| 627 |
| [] -> ();
|
|
| 628 | 628 |
| _ -> Format.fprintf fmt "(";
|
| 629 | 629 |
((fun x -> |
| 630 | 630 |
ignore |
| ... | ... | |
| 634 | 634 |
if sep then Format.fprintf fmt ","; |
| 635 | 635 |
((__2 ()) fmt) x; |
| 636 | 636 |
true) false x))) x.active_sigs; |
| 637 |
Format.fprintf fmt ")"); |
|
| 638 |
Format.fprintf fmt " is"; |
|
| 637 |
Format.fprintf fmt ") is"); |
|
| 639 | 638 |
(match x.p_declarations with |
| 640 | 639 |
| [] -> Format.fprintf fmt ""; |
| 641 | 640 |
| _ -> |
| src/backends/VHDL/vhdl_ast_pp.ml | ||
|---|---|---|
| 1040 | 1040 |
(match sensit_list with |
| 1041 | 1041 |
| [] -> (); |
| 1042 | 1042 |
| _ -> |
| 1043 |
Format.fprintf fmt "(@[<v>"; |
|
| 1043 |
Format.fprintf fmt " on (@[<v>";
|
|
| 1044 | 1044 |
((fun x -> |
| 1045 | 1045 |
ignore |
| 1046 | 1046 |
(List.fold_left |
| ... | ... | |
| 1530 | 1530 |
Format.fprintf fmt ": "); |
| 1531 | 1531 |
Format.fprintf fmt "process "; |
| 1532 | 1532 |
(match x.active_sigs with |
| 1533 |
| [] -> Format.fprintf fmt "";
|
|
| 1533 |
| [] -> ();
|
|
| 1534 | 1534 |
| _ -> Format.fprintf fmt "(";
|
| 1535 | 1535 |
((fun x -> |
| 1536 | 1536 |
ignore |
| ... | ... | |
| 1540 | 1540 |
if sep then Format.fprintf fmt ","; |
| 1541 | 1541 |
((__2 ()) fmt) x; |
| 1542 | 1542 |
true) false x))) x.active_sigs; |
| 1543 |
Format.fprintf fmt ")"); |
|
| 1544 |
Format.fprintf fmt " is"; |
|
| 1543 |
Format.fprintf fmt ") is"); |
|
| 1545 | 1544 |
(match x.p_declarations with |
| 1546 | 1545 |
| [] -> Format.fprintf fmt ""; |
| 1547 | 1546 |
| _ -> |
Also available in: Unified diff