Project

General

Profile

Revision d4c98bae src/backends/VHDL/vhdl_ast_deriving.ml

View differences:

src/backends/VHDL/vhdl_ast_deriving.ml
6156 6156
  {
6157 6157
  name: vhdl_name_t [@default NoName];
6158 6158
  shared_defs: vhdl_definition_t list [@default []];
6159
  shared_decls: vhdl_declaration_t list [@default []]}
6159
  shared_decls: vhdl_declaration_t list [@default []];
6160
  shared_uses: vhdl_load_t list [@default []]}[@@deriving
6161
                                                ((show { with_path = false }),
6162
                                                  (yojson { strict = false }))]
6160 6163

  
6161 6164
let rec pp_vhdl_package_t :
6162 6165
  Format.formatter -> vhdl_package_t -> Ppx_deriving_runtime.unit =
6163
  let __2 () = pp_vhdl_declaration_t
6164

  
6166
  let __3 () = pp_vhdl_load_t
6167
  
6168
  and __2 () = pp_vhdl_declaration_t
6169
  
6165 6170
  and __1 () = pp_vhdl_definition_t
6166 6171
  
6167 6172
  and __0 () = pp_vhdl_name_t
......
6190 6195
                         if sep then Format.fprintf fmt "";
6191 6196
                         ((__2 ()) fmt) x;
6192 6197
                         Format.fprintf fmt ";";
6193
                         true) false x))) x.shared_decls;)
6198
                         true) false x))) x.shared_decls;
6199
          ((fun x  ->
6200
               ignore
6201
                 (List.fold_left
6202
                    (fun sep  ->
6203
                       fun x  ->
6204
                         Format.fprintf fmt "@;";
6205
                         if sep then Format.fprintf fmt "";
6206
                         ((__3 ()) fmt) x;
6207
                         Format.fprintf fmt ";";
6208
                         true) false x))) x.shared_uses;)
6194 6209
    [@ocaml.warning "-A"])
6195 6210

  
6196 6211
and show_vhdl_package_t : vhdl_package_t -> Ppx_deriving_runtime.string =
......
6201 6216
      fun x  ->
6202 6217
        let fields = []  in
6203 6218
        let fields =
6219
          if x.shared_uses = []
6220
          then fields
6221
          else
6222
            ("shared_uses",
6223
              (((fun x  ->
6224
                   `List (List.map (fun x  -> vhdl_load_t_to_yojson x) x)))
6225
                 x.shared_uses))
6226
            :: fields
6227
           in
6228
        let fields =
6204 6229
          if x.shared_decls = []
6205 6230
          then fields
6206 6231
          else
......
6237 6262
  ((let open! Ppx_deriving_yojson_runtime in
6238 6263
      function
6239 6264
      | `Assoc xs ->
6240
          let rec loop xs ((arg0,arg1,arg2) as _state) =
6265
          let rec loop xs ((arg0,arg1,arg2,arg3) as _state) =
6241 6266
            match xs with
6242 6267
            | ("name",x)::xs ->
6243
                loop xs (((fun x  -> vhdl_name_t_of_yojson x) x), arg1, arg2)
6268
                loop xs
6269
                  (((fun x  -> vhdl_name_t_of_yojson x) x), arg1, arg2, arg3)
6244 6270
            | ("shared_defs",x)::xs ->
6245 6271
                loop xs
6246 6272
                  (arg0,
......
6250 6276
                            [] xs
6251 6277
                      | _ ->
6252 6278
                          Result.Error "Vhdl_ast.vhdl_package_t.shared_defs")
6253
                       x), arg2)
6279
                       x), arg2, arg3)
6254 6280
            | ("shared_decls",x)::xs ->
6255 6281
                loop xs
6256 6282
                  (arg0, arg1,
......
6260 6286
                            [] xs
6261 6287
                      | _ ->
6262 6288
                          Result.Error "Vhdl_ast.vhdl_package_t.shared_decls")
6289
                       x), arg3)
6290
            | ("shared_uses",x)::xs ->
6291
                loop xs
6292
                  (arg0, arg1, arg2,
6293
                    ((function
6294
                      | `List xs ->
6295
                          map_bind (fun x  -> vhdl_load_t_of_yojson x) [] xs
6296
                      | _ ->
6297
                          Result.Error "Vhdl_ast.vhdl_package_t.shared_uses")
6263 6298
                       x))
6264 6299
            | [] ->
6265
                arg2 >>=
6266
                  ((fun arg2  ->
6267
                      arg1 >>=
6268
                        (fun arg1  ->
6269
                           arg0 >>=
6270
                             (fun arg0  ->
6271
                                Result.Ok
6272
                                  {
6273
                                    name = arg0;
6274
                                    shared_defs = arg1;
6275
                                    shared_decls = arg2
6276
                                  }))))
6300
                arg3 >>=
6301
                  ((fun arg3  ->
6302
                      arg2 >>=
6303
                        (fun arg2  ->
6304
                           arg1 >>=
6305
                             (fun arg1  ->
6306
                                arg0 >>=
6307
                                  (fun arg0  ->
6308
                                     Result.Ok
6309
                                       {
6310
                                         name = arg0;
6311
                                         shared_defs = arg1;
6312
                                         shared_decls = arg2;
6313
                                         shared_uses = arg3
6314
                                       })))))
6277 6315
            | _::xs -> loop xs _state  in
6278
          loop xs ((Result.Ok NoName), (Result.Ok []), (Result.Ok []))
6316
          loop xs
6317
            ((Result.Ok NoName), (Result.Ok []), (Result.Ok []),
6318
              (Result.Ok []))
6279 6319
      | _ -> Result.Error "Vhdl_ast.vhdl_package_t")
6280 6320
  [@ocaml.warning "-A"])
6281 6321

  

Also available in: Unified diff