diff --git a/src/lib_protocol_environment/environment_protocol_T.ml b/src/lib_protocol_environment/environment_protocol_T.ml index 32bb6b922d34c605f3bffecb6efd82a1873ee0f2..f134741bf74f9dbab4d9b18592d9e15dd95fc920 100644 --- a/src/lib_protocol_environment/environment_protocol_T.ml +++ b/src/lib_protocol_environment/environment_protocol_T.ml @@ -92,7 +92,7 @@ module V0toV3 let value_of_key ~chain_id:_ ~predecessor_context:_ ~predecessor_timestamp:_ ~predecessor_level:_ ~predecessor_fitness:_ ~predecessor:_ ~timestamp:_ = - return (fun _ -> + Lwt.return_ok (fun _ -> Lwt.return (Error_monad.error_with "element_of_key called on environment protocol < V3")) diff --git a/src/lib_protocol_environment/test/test_cache.ml b/src/lib_protocol_environment/test/test_cache.ml index a798c66aeaa958570e075c3669e824205cfc4d7c..b4d7afc91bcaf45f746d852004cfaa10083fde00 100644 --- a/src/lib_protocol_environment/test/test_cache.ml +++ b/src/lib_protocol_environment/test/test_cache.ml @@ -695,6 +695,7 @@ let load_cache_correctly_restores_cache_in_memory builder mode Context.Cache.Internal_for_tests.same_cache_domains ctxt0 ctxt1 let load_cache_correctly_restores_cache_in_memory_normal_case = + let open Lwt_result_syntax in let builder entries key = let value = Stdlib.List.assoc key entries in return (Int value) diff --git a/src/lib_protocol_updater/registered_protocol.ml b/src/lib_protocol_updater/registered_protocol.ml index 7ab308959ffed08588a4dbfb6332b7471d2c2a3a..2bb14299b157c12927d19e4c5b1f2867aa6651f7 100644 --- a/src/lib_protocol_updater/registered_protocol.ml +++ b/src/lib_protocol_updater/registered_protocol.ml @@ -203,6 +203,7 @@ let () = (fun hash -> Unregistered_protocol hash) let get_result hash = + let open Lwt_tzresult_syntax in match get hash with | Some hash -> return hash | None -> fail (Unregistered_protocol hash) diff --git a/src/proto_000_Ps9mPmXa/lib_client/client_proto_main.ml b/src/proto_000_Ps9mPmXa/lib_client/client_proto_main.ml index 3798909f29aa4b95889ffb3e670d1f3115faea9d..edd247c79fc80d8ccd24720a35e531a969400547 100644 --- a/src/proto_000_Ps9mPmXa/lib_client/client_proto_main.ml +++ b/src/proto_000_Ps9mPmXa/lib_client/client_proto_main.ml @@ -77,8 +77,7 @@ let timestamp_arg = (Clic.parameter (fun _ t -> match Time.Protocol.of_notation t with | None -> - Error_monad.failwith - "Could not parse value provided to -timestamp option" + failwith "Could not parse value provided to -timestamp option" | Some t -> return t)) let test_delay_arg = @@ -89,9 +88,7 @@ let test_delay_arg = ~default:(Int64.to_string (Int64.mul 24L 3600L)) (Clic.parameter (fun _ t -> match Int64.of_string_opt t with - | None -> - Error_monad.failwith - "Could not parse value provided to -delay option" + | None -> failwith "Could not parse value provided to -delay option" | Some t -> return t)) let proto_param ~name ~desc t = diff --git a/src/proto_006_PsCARTHA/lib_client/client_proto_multisig.ml b/src/proto_006_PsCARTHA/lib_client/client_proto_multisig.ml index 223c3a612a2e82eeec00d568ab39a6012ab8cecd..8db84c61233de87d9e7c2125cc67afce07f6af79 100644 --- a/src/proto_006_PsCARTHA/lib_client/client_proto_multisig.ml +++ b/src/proto_006_PsCARTHA/lib_client/client_proto_multisig.ml @@ -492,7 +492,7 @@ let action_to_expr ~loc = function let action_of_expr e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in diff --git a/src/proto_008_PtEdo2Zk/lib_client/client_proto_multisig.ml b/src/proto_008_PtEdo2Zk/lib_client/client_proto_multisig.ml index 760064efabd0fd48d78f529d4becc5a71f9c8bb9..9de5516df8df4cced524c675162b711c063ddf20 100644 --- a/src/proto_008_PtEdo2Zk/lib_client/client_proto_multisig.ml +++ b/src/proto_008_PtEdo2Zk/lib_client/client_proto_multisig.ml @@ -691,7 +691,7 @@ let action_to_expr ~loc ~generic action = let action_of_expr_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in @@ -726,7 +726,7 @@ let action_of_expr_generic e = let action_of_expr_not_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in diff --git a/src/proto_009_PsFLoren/lib_client/client_proto_multisig.ml b/src/proto_009_PsFLoren/lib_client/client_proto_multisig.ml index 760064efabd0fd48d78f529d4becc5a71f9c8bb9..9de5516df8df4cced524c675162b711c063ddf20 100644 --- a/src/proto_009_PsFLoren/lib_client/client_proto_multisig.ml +++ b/src/proto_009_PsFLoren/lib_client/client_proto_multisig.ml @@ -691,7 +691,7 @@ let action_to_expr ~loc ~generic action = let action_of_expr_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in @@ -726,7 +726,7 @@ let action_of_expr_generic e = let action_of_expr_not_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in diff --git a/src/proto_010_PtGRANAD/lib_client/client_proto_multisig.ml b/src/proto_010_PtGRANAD/lib_client/client_proto_multisig.ml index a687ffa89f8ffd08f1112090e725d8c0188d0f47..14c0667b99b97cfa4217999f86dd1ed188a2b668 100644 --- a/src/proto_010_PtGRANAD/lib_client/client_proto_multisig.ml +++ b/src/proto_010_PtGRANAD/lib_client/client_proto_multisig.ml @@ -674,7 +674,7 @@ let action_to_expr ~loc ~generic action = let action_of_expr_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in @@ -709,7 +709,7 @@ let action_of_expr_generic e = let action_of_expr_not_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in diff --git a/src/proto_011_PtHangz2/lib_client/client_proto_multisig.ml b/src/proto_011_PtHangz2/lib_client/client_proto_multisig.ml index a687ffa89f8ffd08f1112090e725d8c0188d0f47..14c0667b99b97cfa4217999f86dd1ed188a2b668 100644 --- a/src/proto_011_PtHangz2/lib_client/client_proto_multisig.ml +++ b/src/proto_011_PtHangz2/lib_client/client_proto_multisig.ml @@ -674,7 +674,7 @@ let action_to_expr ~loc ~generic action = let action_of_expr_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in @@ -709,7 +709,7 @@ let action_of_expr_generic e = let action_of_expr_not_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in diff --git a/src/proto_011_PtHangz2/lib_protocol/test/helpers/liquidity_baking_machine.ml b/src/proto_011_PtHangz2/lib_protocol/test/helpers/liquidity_baking_machine.ml index 15029f71a4dd3bf12ae28814e58dd3a6293e20bf..778eeb892f9d81f210cad40712e3f81d617ea0e3 100644 --- a/src/proto_011_PtHangz2/lib_protocol/test/helpers/liquidity_baking_machine.ml +++ b/src/proto_011_PtHangz2/lib_protocol/test/helpers/liquidity_baking_machine.ml @@ -727,7 +727,7 @@ module ConcreteBaseMachine : let fold_m = Environment.List.fold_left_es - let pure = Error_monad.return + let pure = return let get_xtz_balance contract blk = Context.Contract.balance (B blk) contract >>= fun x -> diff --git a/src/proto_012_Psithaca/lib_client/client_proto_multisig.ml b/src/proto_012_Psithaca/lib_client/client_proto_multisig.ml index 7ffb4f88300622d4228db366ad7d9b8ddb775491..4f55086fb15212cc52fffdb5b8d446149a3c57f9 100644 --- a/src/proto_012_Psithaca/lib_client/client_proto_multisig.ml +++ b/src/proto_012_Psithaca/lib_client/client_proto_multisig.ml @@ -674,7 +674,7 @@ let action_to_expr ~loc ~generic action = let action_of_expr_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in @@ -709,7 +709,7 @@ let action_of_expr_generic e = let action_of_expr_not_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in diff --git a/src/proto_012_Psithaca/lib_protocol/test/helpers/liquidity_baking_machine.ml b/src/proto_012_Psithaca/lib_protocol/test/helpers/liquidity_baking_machine.ml index 0e19624e0cce258723cf1e900419a0f20d56f0bc..025e97098fbcb829b687463aefee04afb80d78be 100644 --- a/src/proto_012_Psithaca/lib_protocol/test/helpers/liquidity_baking_machine.ml +++ b/src/proto_012_Psithaca/lib_protocol/test/helpers/liquidity_baking_machine.ml @@ -727,7 +727,7 @@ module ConcreteBaseMachine : let fold_m = Environment.List.fold_left_es - let pure = Error_monad.return + let pure = return let get_xtz_balance contract blk = Context.Contract.balance (B blk) contract >>= fun x -> diff --git a/src/proto_alpha/bin_tx_rollup_node/daemon.ml b/src/proto_alpha/bin_tx_rollup_node/daemon.ml index 95f74db43b887209db41e7a31b374ea004ad89c3..d7241266c1e1aac7d6c0cd3e6fbbdbcd4e1d1ec7 100644 --- a/src/proto_alpha/bin_tx_rollup_node/daemon.ml +++ b/src/proto_alpha/bin_tx_rollup_node/daemon.ml @@ -368,7 +368,7 @@ let rec connect ~delay cctxt = let open Lwt_syntax in let* res = Monitor_services.heads cctxt cctxt#chain in match res with - | Ok (stream, stopper) -> Error_monad.return (stream, stopper) + | Ok (stream, stopper) -> return_ok (stream, stopper) | Error _ -> let* () = Event.(emit cannot_connect) delay in let* () = Lwt_unix.sleep delay in diff --git a/src/proto_alpha/bin_tx_rollup_node/main_tx_rollup_node_alpha.ml b/src/proto_alpha/bin_tx_rollup_node/main_tx_rollup_node_alpha.ml index 006d538c3e081878ac40265de45eaa976e95729e..24455ed7c279977d99d2521dbbaab849ab12a9c0 100644 --- a/src/proto_alpha/bin_tx_rollup_node/main_tx_rollup_node_alpha.ml +++ b/src/proto_alpha/bin_tx_rollup_node/main_tx_rollup_node_alpha.ml @@ -119,9 +119,7 @@ let group = title = "Commands related to the transaction rollup node"; } -let to_tzresult msg = function - | Some x -> Error_monad.return x - | None -> Error_monad.failwith msg +let to_tzresult msg = function Some x -> return x | None -> failwith msg let configuration_init_command = let open Clic in diff --git a/src/proto_alpha/lib_client/client_proto_multisig.ml b/src/proto_alpha/lib_client/client_proto_multisig.ml index 17b6261c984e97a8a1ed7b3fcfa374c271c0d36a..ce080f0bdf5224deeebf57c8d0949a3a88237311 100644 --- a/src/proto_alpha/lib_client/client_proto_multisig.ml +++ b/src/proto_alpha/lib_client/client_proto_multisig.ml @@ -677,7 +677,7 @@ let action_to_expr ~loc ~generic action = let action_of_expr_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in @@ -712,7 +712,7 @@ let action_of_expr_generic e = let action_of_expr_not_generic e = let fail () = - Error_monad.fail + fail (Action_deserialisation_error (Tezos_micheline.Micheline.strip_locations e)) in diff --git a/src/proto_alpha/lib_protocol/test/helpers/liquidity_baking_machine.ml b/src/proto_alpha/lib_protocol/test/helpers/liquidity_baking_machine.ml index a43e6aca7739adace3a91eb524381cc31da47f54..e01b2436df9652e503e33f3dbe2a75b02a4aeb34 100644 --- a/src/proto_alpha/lib_protocol/test/helpers/liquidity_baking_machine.ml +++ b/src/proto_alpha/lib_protocol/test/helpers/liquidity_baking_machine.ml @@ -728,7 +728,7 @@ module ConcreteBaseMachine : let fold_m = Environment.List.fold_left_es - let pure = Error_monad.return + let pure = return let get_xtz_balance contract blk = Context.Contract.balance (B blk) contract >>= fun x -> diff --git a/src/proto_genesis/lib_client/client_proto_main.ml b/src/proto_genesis/lib_client/client_proto_main.ml index fd8ea25d98dedd1112bd173c75f4887f92a9a510..0478fd5f31c2b04bd6305e73612a3e9738d583cb 100644 --- a/src/proto_genesis/lib_client/client_proto_main.ml +++ b/src/proto_genesis/lib_client/client_proto_main.ml @@ -73,8 +73,7 @@ let timestamp_arg = (Clic.parameter (fun _ t -> match Time.System.of_notation_opt t with | None -> - Error_monad.failwith - "Could not parse value provided to -timestamp option" + failwith "Could not parse value provided to -timestamp option" | Some t -> return t)) let test_delay_arg = @@ -85,9 +84,7 @@ let test_delay_arg = ~default:(Int64.to_string (Int64.mul 24L 3600L)) (Clic.parameter (fun _ t -> match Int64.of_string_opt t with - | None -> - Error_monad.failwith - "Could not parse value provided to -delay option" + | None -> failwith "Could not parse value provided to -delay option" | Some t -> return t)) let proto_param ~name ~desc t = @@ -108,8 +105,7 @@ let commands () = (parameter (fun _ t -> match Time.Protocol.of_notation t with | None -> - Error_monad.failwith - "Could not parse value provided to -timestamp option" + failwith "Could not parse value provided to -timestamp option" | Some t -> return t))) in [ diff --git a/src/proto_genesis_carthagenet/lib_client/client_proto_main.ml b/src/proto_genesis_carthagenet/lib_client/client_proto_main.ml index 177d533839b73381a718cbe5dcf3e391f440c851..6ace9b8d575b5eb488ffef002aadeffe2eaf979f 100644 --- a/src/proto_genesis_carthagenet/lib_client/client_proto_main.ml +++ b/src/proto_genesis_carthagenet/lib_client/client_proto_main.ml @@ -77,8 +77,7 @@ let timestamp_arg = (Clic.parameter (fun _ t -> match Time.System.of_notation_opt t with | None -> - Error_monad.failwith - "Could not parse value provided to -timestamp option" + failwith "Could not parse value provided to -timestamp option" | Some t -> return t)) let test_delay_arg = @@ -89,9 +88,7 @@ let test_delay_arg = ~default:(Int64.to_string (Int64.mul 24L 3600L)) (Clic.parameter (fun _ t -> match Int64.of_string_opt t with - | None -> - Error_monad.failwith - "Could not parse value provided to -delay option" + | None -> failwith "Could not parse value provided to -delay option" | Some t -> return t)) let proto_param ~name ~desc t = @@ -112,8 +109,7 @@ let commands () = (parameter (fun _ t -> match Time.Protocol.of_notation t with | None -> - Error_monad.failwith - "Could not parse value provided to -timestamp option" + failwith "Could not parse value provided to -timestamp option" | Some t -> return t))) in [