From 21c4cc6e695910fcc8dc3de511b02a98f092e271 Mon Sep 17 00:00:00 2001
From: bruno <bernardobruno@gmail.com>
Date: Mon, 5 Feb 2018 15:06:00 +0100
Subject: [PATCH] Michelson: add registration for Overflow + some comments

---
 .../lib_protocol/src/script_interpreter.ml            | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/proto_alpha/lib_protocol/src/script_interpreter.ml b/src/proto_alpha/lib_protocol/src/script_interpreter.ml
index 14ecbda4f..789ff29b0 100644
--- a/src/proto_alpha/lib_protocol/src/script_interpreter.ml
+++ b/src/proto_alpha/lib_protocol/src/script_interpreter.ml
@@ -24,6 +24,7 @@ type error += Runtime_contract_error : Contract.t * Script.expr -> error
 
 let () =
   let open Data_encoding in
+  (* Reject *)
   register_error_kind
     `Temporary
     ~id:"scriptRejectedRuntimeError"
@@ -32,6 +33,16 @@ let () =
     (obj1 (req "location" Script.location_encoding))
     (function Reject loc -> Some loc | _ -> None)
     (fun loc -> Reject loc);
+  (* Overflow *)
+  register_error_kind
+    `Temporary
+    ~id:"scriptOverflowRuntimeError"
+    ~title: "Script failed (overflow error)"
+    ~description: "A FAIL instruction was reached due to the detection of an overflow"
+    (obj1 (req "location" Script.location_encoding))
+    (function Overflow loc -> Some loc | _ -> None)
+    (fun loc -> Overflow loc);
+  (* Runtime contract error *)
   register_error_kind
     `Temporary
     ~id:"scriptRuntimeError"