balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Alpha: fix encoding for combined operation and receipt

Browse Source
This commit is contained in:
Benjamin Canou 2018-06-20 15:18:29 +02:00
parent 4e4d96dae1
commit a1a89753e5
1 changed files with 28 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
src/proto_alpha/lib_protocol/src/apply_operation_result.ml
View File

@ -359,6 +359,20 @@ type packed_contents_and_result =
| Contents_and_result : | Contents_and_result :
'kind Operation.contents * 'kind contents_result -> packed_contents_and_result 'kind Operation.contents * 'kind contents_result -> packed_contents_and_result
type ('a, 'b) eq = Eq : ('a, 'a) eq
let equal_manager_kind
: type a b. a Kind.manager -> b Kind.manager -> (a, b) eq option
= fun ka kb -> match ka, kb with
| Kind.Reveal_manager_kind, Kind.Reveal_manager_kind -> Some Eq
| Kind.Reveal_manager_kind, _ -> None
| Kind.Transaction_manager_kind, Kind.Transaction_manager_kind -> Some Eq
| Kind.Transaction_manager_kind, _ -> None
| Kind.Origination_manager_kind, Kind.Origination_manager_kind -> Some Eq
| Kind.Origination_manager_kind, _ -> None
| Kind.Delegation_manager_kind, Kind.Delegation_manager_kind -> Some Eq
| Kind.Delegation_manager_kind, _ -> None
module Encoding = struct module Encoding = struct
type 'kind case = type 'kind case =
@ -534,14 +548,22 @@ module Encoding = struct
end end
| Contents_result | Contents_result
(Manager_operation_result (Manager_operation_result
({ operation_result = Skipped _ ; _ } as op)) -> ({ operation_result = Skipped kind ; _ } as op)) ->
Some (Manager_operation_result begin match equal_manager_kind kind res_case.kind with
{ op with operation_result = Skipped res_case.kind }) | None -> None
| Some Eq ->
Some (Manager_operation_result
{ op with operation_result = Skipped kind })
end
| Contents_result | Contents_result
(Manager_operation_result (Manager_operation_result
({ operation_result = Failed (_, errs) ; _ } as op)) -> ({ operation_result = Failed (kind, errs) ; _ } as op)) ->
Some (Manager_operation_result begin match equal_manager_kind kind res_case.kind with
{ op with operation_result = Failed (res_case.kind, errs) }) | None -> None
| Some Eq ->
Some (Manager_operation_result
{ op with operation_result = Failed (kind, errs) })
end
| Contents_result Ballot_result -> None | Contents_result Ballot_result -> None
| Contents_result (Endorsement_result _) -> None | Contents_result (Endorsement_result _) -> None
| Contents_result (Seed_nonce_revelation_result _) -> None | Contents_result (Seed_nonce_revelation_result _) -> None
@ -748,8 +770,6 @@ let operation_metadata_encoding =
(fun () -> No_operation_metadata) ; (fun () -> No_operation_metadata) ;
] ]
type ('a, 'b) eq = Eq : ('a, 'a) eq
let kind_equal let kind_equal
: type kind kind2. kind contents -> kind2 contents_result -> (kind, kind2) eq option = : type kind kind2. kind contents -> kind2 contents_result -> (kind, kind2) eq option =
fun op res -> fun op res ->