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

Michelson: parse bytes as a comparable_ty (thanks @catsigma)

Browse Source
This commit is contained in:
Benjamin Canou 2018-07-17 18:23:16 +02:00 committed by Grégoire Henry
parent 5a60dff917
commit bd709a44ba
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/proto_alpha/lib_protocol/src/script_ir_translator.ml
View File

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