Commit f333a5f7 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Update LocalBlockchain for renames

parent 34d5980a
Pipeline #11090 passed with stage
in 4 minutes and 50 seconds
...@@ -89,7 +89,7 @@ Local Definition find_first {A : Type} (f : ChainUpdate -> option A) (lc : Local ...@@ -89,7 +89,7 @@ Local Definition find_first {A : Type} (f : ChainUpdate -> option A) (lc : Local
Definition lc_contract_deployment (lc : LocalChain) (addr : Address) Definition lc_contract_deployment (lc : LocalChain) (addr : Address)
: option ContractDeployment := : option ContractDeployment :=
find_first (fun u => u.(upd_deployments)[addr]%map) lc. find_first (fun u => u.(upd_deployments)[addr]%map) lc.
Definition lc_contract_state (lc : LocalChain) (addr : Address) Definition lc_contract_state (lc : LocalChain) (addr : Address)
: option OakValue := : option OakValue :=
let get_state_oak_value u := let get_state_oak_value u :=
...@@ -98,11 +98,11 @@ Definition lc_contract_state (lc : LocalChain) (addr : Address) ...@@ -98,11 +98,11 @@ Definition lc_contract_state (lc : LocalChain) (addr : Address)
find_first get_state_oak_value lc. find_first get_state_oak_value lc.
Definition local_chain_impl : ChainInterface := Definition local_chain_impl : ChainInterface :=
{| ifc_chain_type := LocalChain; {| ci_chain_type := LocalChain;
ifc_chain_at := lc_chain_at; ci_chain_at := lc_chain_at;
ifc_head_block := lc_head_block; ci_head_block := lc_head_block;
ifc_incoming_txs := lc_incoming_txs; ci_incoming_txs := lc_incoming_txs;
ifc_outgoing_txs := lc_outgoing_txs; ci_outgoing_txs := lc_outgoing_txs;
ifc_contract_deployment := lc_contract_deployment; ci_contract_deployment := lc_contract_deployment;
ifc_contract_state := lc_contract_state; ci_contract_state := lc_contract_state;
|}. |}.
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment