From 5ab8e66cf68cf75a5eb28c420210fe487a10a4af Mon Sep 17 00:00:00 2001
From: Sylvain Ribstein <sylvain.ribstein@gmail.com>
Date: Tue, 14 Jun 2022 19:13:18 +0200
Subject: [PATCH] proto/scoru:small typos on types

---
 src/proto_alpha/bin_sc_rollup_node/interpreter.ml    |  2 --
 src/proto_alpha/lib_protocol/alpha_context.mli       | 10 +++++-----
 src/proto_alpha/lib_protocol/sc_rollup_arith.mli     |  3 ++-
 src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml |  2 +-
 4 files changed, 8 insertions(+), 9 deletions(-)

diff --git a/src/proto_alpha/bin_sc_rollup_node/interpreter.ml b/src/proto_alpha/bin_sc_rollup_node/interpreter.ml
index 3c66094a2c36..3c3ebbdbad26 100644
--- a/src/proto_alpha/bin_sc_rollup_node/interpreter.ml
+++ b/src/proto_alpha/bin_sc_rollup_node/interpreter.ml
@@ -36,8 +36,6 @@ module type S = sig
 end
 
 module Make (PVM : Pvm.S) : S = struct
-  module PVM = PVM
-
   (** [eval_until_input state] advances a PVM [state] until it wants more inputs. *)
   let eval_until_input state =
     let open Lwt_syntax in
diff --git a/src/proto_alpha/lib_protocol/alpha_context.mli b/src/proto_alpha/lib_protocol/alpha_context.mli
index 964ee44b0b27..5f39846ca8a1 100644
--- a/src/proto_alpha/lib_protocol/alpha_context.mli
+++ b/src/proto_alpha/lib_protocol/alpha_context.mli
@@ -982,11 +982,11 @@ module Constants : sig
 
   val sc_rollup_max_available_messages : context -> int
 
-  val sc_rollup_stake_amount : Raw_context.t -> Tez.t
+  val sc_rollup_stake_amount : t -> Tez.t
 
-  val sc_rollup_commitment_period_in_blocks : Raw_context.t -> int
+  val sc_rollup_commitment_period_in_blocks : t -> int
 
-  val sc_rollup_max_lookahead_in_blocks : Raw_context.t -> int32
+  val sc_rollup_max_lookahead_in_blocks : t -> int32
 
   val sc_rollup_max_active_outbox_levels : context -> int32
 
@@ -2909,7 +2909,7 @@ module Sc_rollup : sig
   type input_request =
     | No_input_required
     | Initial
-    | First_after of Raw_level_repr.t * Z.t
+    | First_after of Raw_level.t * Z.t
 
   val input_request_encoding : input_request Data_encoding.t
 
@@ -3185,7 +3185,7 @@ module Sc_rollup : sig
     type t = {pvm_step : wrapped_proof; inbox : Inbox.Proof.t option}
 
     module type PVM_with_context_and_state = sig
-      include Sc_rollups.PVM.S
+      include PVM.S
 
       val context : context
 
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_arith.mli b/src/proto_alpha/lib_protocol/sc_rollup_arith.mli
index 3fae2cb0915c..fc3819d7358f 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_arith.mli
+++ b/src/proto_alpha/lib_protocol/sc_rollup_arith.mli
@@ -126,7 +126,8 @@ module type S = sig
   val get_is_stuck : state -> string option Lwt.t
 end
 
-module ProtocolImplementation : S with type context = Context.t
+module ProtocolImplementation :
+  S with type context = Context.t and type state = Context.tree
 
 module type P = sig
   module Tree : Context.TREE with type key = string list and type value = bytes
diff --git a/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml b/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml
index 4e5a3f8dd01e..953f20e2b5f6 100644
--- a/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml
+++ b/src/proto_alpha/lib_protocol/sc_rollup_proof_repr.ml
@@ -72,7 +72,7 @@ let check p reason =
 let valid snapshot commit_level ~pvm_name proof =
   let (module P) = Sc_rollups.wrapped_proof_module proof.pvm_step in
   let open Lwt_result_syntax in
-  let* _ = check (String.equal P.name pvm_name) "Incorrect PVM kind" in
+  let* () = check (String.equal P.name pvm_name) "Incorrect PVM kind" in
   let input_requested = P.proof_input_requested P.proof in
   let input_given = P.proof_input_given P.proof in
   let* input =
-- 
GitLab