From 08e8a23dcbca282f3eda7ca5467dc21e74aa462a Mon Sep 17 00:00:00 2001
From: Pierrick Couderc <pierrick.couderc@nomadic-labs.com>
Date: Thu, 10 Oct 2024 18:33:44 +0200
Subject: [PATCH] Proto/Alpha: OCaml5: add annotation for parse_instr to
 typecheck

---
 src/proto_alpha/lib_protocol/script_ir_translator.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proto_alpha/lib_protocol/script_ir_translator.ml b/src/proto_alpha/lib_protocol/script_ir_translator.ml
index dbec7e647d0f..44f31e8ffb33 100644
--- a/src/proto_alpha/lib_protocol/script_ir_translator.ml
+++ b/src/proto_alpha/lib_protocol/script_ir_translator.ml
@@ -2815,7 +2815,7 @@ and parse_instr :
         let stack_ty_after = unparse_stack_uncarbonated aft in
         log loc ~stack_ty_before ~stack_ty_after
   in
-  let typed_no_lwt ctxt loc instr aft =
+  let typed_no_lwt ctxt loc instr aft : ((a, s) judgement * context) tzresult =
     log_stack loc stack_ty aft ;
     let j = Typed {loc; instr; bef = stack_ty; aft} in
     Ok (j, ctxt)
-- 
GitLab