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

Michelson: disable typechecking of field names through annotations

Browse Source 
This is not compatible with the inferring mechanism for annotations in
types.
This commit is contained in:
Alain Mebsout 2018-05-22 19:45:17 +02:00 committed by Benjamin Canou
parent c8dd939849
commit ae6a97708e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -758,7 +758,9 @@ let merge_field_annot
| Some `Field_annot a1, Some `Field_annot a2 -> | Some `Field_annot a1, Some `Field_annot a2 ->
if String.equal a1 a2 if String.equal a1 a2
then ok annot1 then ok annot1
else error (Inconsistent_annotations ("%" ^ a1, "%" ^ a2)) else ok None
(* TODO check this, do we want typechecking here ? *)
(* error (Inconsistent_annotations ("%" ^ a1, "%" ^ a2)) *)
let merge_var_annot let merge_var_annot
: var_annot option -> var_annot option -> var_annot option : var_annot option -> var_annot option -> var_annot option