Project

General

Profile

Revision 3d099916 src/tools/importer/vhdl_to_lustre.ml

View differences:

src/tools/importer/vhdl_to_lustre.ml
291 291

  
292 292
    method vhdl_subprogram_spec_t :
293 293
      vhdl_subprogram_spec_t -> vhdl_subprogram_spec_t=
294
      fun { name; typeMark; parameters; isPure }  ->
294
      fun { name; subprogram_type; typeMark; parameters; isPure }  ->
295 295
        let name = self#string name  in
296
        let subprogram_type = self#string subprogram_type  in
296 297
        let typeMark = self#vhdl_name_t typeMark  in
297 298
        let parameters = self#list self#vhdl_parameter_t parameters  in
298 299
        let isPure = self#bool isPure  in
299
        { name; typeMark; parameters; isPure }
300
        { name; subprogram_type; typeMark; parameters; isPure }
300 301

  
301 302
    method vhdl_sequential_stmt_t :
302 303
      vhdl_sequential_stmt_t -> vhdl_sequential_stmt_t=
......
376 377
            let generics = self#list self#vhdl_port_t generics  in
377 378
            let ports = self#list self#vhdl_port_t ports  in
378 379
            ComponentDecl { name; generics; ports }
379
        | Subprogram { name; kind; spec; decl_part; stmts } ->
380
            let name = self#string name  in
381
            let kind = self#string kind  in
382
            let spec = self#option self#vhdl_subprogram_spec_t spec  in
380
        | Subprogram { spec; decl_part; stmts } ->
381
            let spec = self#vhdl_subprogram_spec_t spec  in
383 382
            let decl_part = self#list self#vhdl_declaration_t decl_part  in
384 383
            let stmts = self#list self#vhdl_sequential_stmt_t stmts  in
385
            Subprogram { name; kind; spec; decl_part; stmts }
384
            Subprogram { spec; decl_part; stmts }
386 385

  
387 386
    method vhdl_declarative_item_t :
388 387
      vhdl_declarative_item_t -> vhdl_declarative_item_t=

Also available in: Unified diff