Project

General

Profile

Revision 1f593d5d src/tools/importer/vhdl_to_lustre.ml

View differences:

src/tools/importer/vhdl_to_lustre.ml
408 408
      vhdl_signal_condition_t -> vhdl_signal_condition_t=
409 409
      fun { expr; cond }  ->
410 410
        let expr = self#list self#vhdl_waveform_element_t expr  in
411
        let cond = self#vhdl_expr_t cond  in { expr; cond }
411
        let cond = self#option self#vhdl_expr_t cond  in { expr; cond }
412 412

  
413 413
    method vhdl_signal_selection_t :
414 414
      vhdl_signal_selection_t -> vhdl_signal_selection_t=
......
419 419

  
420 420
    method vhdl_conditional_signal_t :
421 421
      vhdl_conditional_signal_t -> vhdl_conditional_signal_t=
422
      fun { postponed; label; lhs; rhs; cond; delay }  ->
422
      fun { postponed; label; lhs; rhs; delay }  ->
423 423
        let postponed = self#bool postponed  in
424 424
        let label = self#vhdl_name_t label  in
425 425
        let lhs = self#vhdl_name_t lhs  in
426 426
        let rhs = self#list self#vhdl_signal_condition_t rhs  in
427
        let cond = self#vhdl_expr_t cond  in
428 427
        let delay = self#vhdl_expr_t delay  in
429
        { postponed; label; lhs; rhs; cond; delay }
428
        { postponed; label; lhs; rhs; delay }
430 429

  
431 430
    method vhdl_process_t : vhdl_process_t -> vhdl_process_t=
432 431
      fun { id; declarations; active_sigs; body }  ->

Also available in: Unified diff