Project

General

Profile

Revision bd1f1929 src/backends/VHDL/vhdl_ast_pp.ml

View differences:

src/backends/VHDL/vhdl_ast_pp.ml
1035 1035
                          ((__20 ()) fmt) x;
1036 1036
                          true) false x))) aassocs;
1037 1037
               Format.fprintf fmt "@])");
1038
        | Wait  -> Format.pp_print_string fmt "wait"
1038
        | Wait { sensitivity = sensit_list } -> 
1039
            Format.pp_print_string fmt "wait";
1040
            (match sensit_list with
1041
            | [] -> ();
1042
            | _ ->
1043
               Format.fprintf fmt "(@[<v>";
1044
               ((fun x  ->
1045
                ignore
1046
                  (List.fold_left
1047
                     (fun sep  ->
1048
                        fun x  ->
1049
                          if sep then Format.fprintf fmt ",@ ";
1050
                          ((__19 ()) fmt) x;
1051
                          true) false x))) sensit_list;
1052
               Format.fprintf fmt "@])");
1039 1053
        | Null { label = alabel } ->
1040 1054
            (match alabel with
1041 1055
              | None -> ();

Also available in: Unified diff