Skip to content

Commit

Permalink
(fix) Revert Pbrt patch - I think I had an old version installed in o…
Browse files Browse the repository at this point in the history
…pam :-(
  • Loading branch information
rrw-zilliqa committed Jun 27, 2024
1 parent fe8cf80 commit 30e1075
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions src/eval/Ipcmessage_pb.ml
Original file line number Diff line number Diff line change
Expand Up @@ -114,28 +114,28 @@ let rec encode_proto_scilla_val_map (v : Ipcmessage_types.proto_scilla_val_map)
Pbrt.Encoder.nested (encode_proto_scilla_val x) encoder
in
List.iter v.Ipcmessage_types.m ~f:(fun (k, v) ->
Pbrt.Encoder.key 1 Pbrt.Bytes encoder;
Pbrt.Encoder.key (1,Pbrt.Bytes) encoder;
let map_entry = ((k, Pbrt.Bytes), (v, Pbrt.Bytes)) in
Pbrt.Encoder.map_entry ~encode_key ~encode_value map_entry encoder)

and encode_proto_scilla_val (v : Ipcmessage_types.proto_scilla_val) encoder =
match v with
| Ipcmessage_types.Bval x ->
Pbrt.Encoder.key 1 Pbrt.Bytes encoder;
Pbrt.Encoder.key (1,Pbrt.Bytes) encoder;
Pbrt.Encoder.bytes x encoder
| Ipcmessage_types.Mval x ->
Pbrt.Encoder.key 2 Pbrt.Bytes encoder;
Pbrt.Encoder.nested encode_proto_scilla_val_map x encoder
Pbrt.Encoder.key (2, Pbrt.Bytes) encoder;
Pbrt.Encoder.nested (encode_proto_scilla_val_map x) encoder

let rec encode_proto_scilla_query (v : Ipcmessage_types.proto_scilla_query)
encoder =
Pbrt.Encoder.key 1 Pbrt.Bytes encoder;
Pbrt.Encoder.key (1, Pbrt.Bytes) encoder;
Pbrt.Encoder.string v.Ipcmessage_types.name encoder;
Pbrt.Encoder.key 2 Pbrt.Varint encoder;
Pbrt.Encoder.key (2, Pbrt.Varint) encoder;
Pbrt.Encoder.int_as_varint v.Ipcmessage_types.mapdepth encoder;
List.iter v.Ipcmessage_types.indices ~f:(fun x ->
Pbrt.Encoder.key 3 Pbrt.Bytes encoder;
Pbrt.Encoder.key (3, Pbrt.Bytes) encoder;
Pbrt.Encoder.bytes x encoder);
Pbrt.Encoder.key 4 Pbrt.Varint encoder;
Pbrt.Encoder.key (4, Pbrt.Varint) encoder;
Pbrt.Encoder.bool v.Ipcmessage_types.ignoreval encoder;
()

0 comments on commit 30e1075

Please sign in to comment.