Project

General

Profile

Revision ab6312e7 src/tools/importer/vhdl_to_lustre.ml

View differences:

src/tools/importer/vhdl_to_lustre.ml
168 168
      fun x  ->
169 169
        match x with
170 170
        | Call a -> let a = self#vhdl_name_t a  in Call a
171
        | Cst a -> let a = self#vhdl_cst_val_t a  in Cst a
171
        | Cst { value; unit_name } ->
172
            let value = self#vhdl_cst_val_t value  in
173
            let unit_name = self#option self#vhdl_name_t unit_name  in
174
            Cst { value; unit_name }
172 175
        | Op { id; args } ->
173 176
            let id = self#string id  in
174 177
            let args = self#list self#vhdl_expr_t args  in Op { id; args }

Also available in: Unified diff