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

Alpha: correctly apply recursion on backtrack operation application

Browse Source
This commit is contained in:
Vincent Botbol 2018-06-30 13:42:37 +02:00 committed by Benjamin Canou
parent 63159f2a5d
commit b885b03ef6
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/proto_alpha/lib_protocol/src/apply.ml
View File

@ -681,7 +681,8 @@ let mark_backtracked results =
operation_result = operation_result =
mark_manager_operation_result op.operation_result ; mark_manager_operation_result op.operation_result ;
internal_operation_results = internal_operation_results =
List.map mark_internal_operation_results op.internal_operation_results}, rest) List.map mark_internal_operation_results op.internal_operation_results},
mark_contents_list rest)
and mark_internal_operation_results (Internal_operation_result (kind, result)) = and mark_internal_operation_results (Internal_operation_result (kind, result)) =
(Internal_operation_result (kind, mark_manager_operation_result result)) (Internal_operation_result (kind, mark_manager_operation_result result))
and mark_manager_operation_result and mark_manager_operation_result