balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Michelson: add registration for Overflow + some comments

Browse Source
This commit is contained in:
bruno 2018-02-05 15:06:00 +01:00
parent 75f29f4a05
commit 21c4cc6e69
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/proto_alpha/lib_protocol/src/script_interpreter.ml
View File

@ -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"