Project

General

Profile

Revision bd1f1929 src/backends/VHDL/mini_vhdl_ast_pp.ml

View differences:

src/backends/VHDL/mini_vhdl_ast_pp.ml
264 264
                          ((__29 ()) fmt) x;
265 265
                          true) false x))) aassocs;
266 266
               Format.fprintf fmt "@])");
267
        | MiniWait  -> Format.pp_print_string fmt "wait"
267
        | MiniWait { sensitivity = sensit_list } -> 
268
            Format.pp_print_string fmt "wait";
269
            (match sensit_list with
270
            | [] -> ();
271
            | _ ->
272
               Format.fprintf fmt "(@[<v>";
273
               ((fun x  ->
274
                ignore
275
                  (List.fold_left
276
                     (fun sep  ->
277
                        fun x  ->
278
                          if sep then Format.fprintf fmt ",@ ";
279
                          ((__28 ()) fmt) x;
280
                          true) false x))) sensit_list;
281
               Format.fprintf fmt "@])");
268 282
        | MiniNull { label = alabel } ->
269 283
            (match alabel with
270 284
              | None -> ();

Also available in: Unified diff