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

Minor fix in contract deletion

Browse Source
This commit is contained in:
Grégoire Henry 2017-05-09 17:35:56 +02:00
parent 81b720fee0
commit 3b38720fb6
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/proto/alpha/roll_storage.ml
View File

@ -188,12 +188,15 @@ module Contract = struct
Storage.Roll.Contract_change.get c contract >>=? fun change ->
loop c change >>=? fun (c, change) ->
Lwt.return Tez_repr.(change -? amount) >>=? fun change ->
if Tez_repr.(change = zero) then
Storage.Roll.Contract_change.delete c contract
else
Storage.Roll.Contract_change.set c contract change
let assert_empty c contract =
Storage.Roll.Contract_change.get c contract >>=? fun change ->
Storage.Roll.Contract_change.mem c contract >>= fun change ->
Storage.Roll.Contract_roll_list.get c contract >>=? fun roll_list ->
fail_unless (Tez_repr.(change = zero) &&
fail_unless (not change &&
match roll_list with None -> true | Some _ -> false)
Deleted_contract_owning_rolls