From bd709a44ba773bcec3dc80b94e6f25261fb98cca Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Tue, 17 Jul 2018 18:23:16 +0200 Subject: [PATCH] Michelson: parse bytes as a comparable_ty (thanks @catsigma) --- src/proto_alpha/lib_protocol/src/script_ir_translator.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml index f4101ab0e..7580adddc 100644 --- a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml +++ b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml @@ -1002,6 +1002,9 @@ let rec parse_comparable_ty | Prim (loc, T_string, [], annot) -> parse_type_annot loc annot >|? fun tname -> Ex_comparable_ty ( String_key tname ), ctxt + | Prim (loc, T_bytes, [], annot) -> + parse_type_annot loc annot >|? fun tname -> + Ex_comparable_ty ( Bytes_key tname ), ctxt | Prim (loc, T_mutez, [], annot) -> parse_type_annot loc annot >|? fun tname -> Ex_comparable_ty ( Mutez_key tname ), ctxt