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

Utils/Data_encoding: add missing case in merge_objs.

Browse Source
This commit is contained in:
Grégoire Henry 2017-11-11 03:34:12 +01:00 committed by Benjamin Canou
parent 5beb62c83e
commit 6cb428c1a2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/minutils/data_encoding.ml
View File

@ -551,6 +551,7 @@ module Encoding = struct
| Obj _ -> true | Obj _ -> true
| Objs _ (* by construction *) -> true | Objs _ (* by construction *) -> true
| Conv { encoding = e } -> is_obj e | Conv { encoding = e } -> is_obj e
| Dynamic_size e -> is_obj e
| Union (_,_,cases) -> | Union (_,_,cases) ->
List.for_all (fun (Case { encoding = e }) -> is_obj e) cases List.for_all (fun (Case { encoding = e }) -> is_obj e) cases
| Empty -> true | Empty -> true
@ -591,6 +592,7 @@ module Encoding = struct
| Tup _ -> true | Tup _ -> true
| Tups _ (* by construction *) -> true | Tups _ (* by construction *) -> true
| Conv { encoding = e } -> is_tup e | Conv { encoding = e } -> is_tup e
| Dynamic_size e -> is_tup e
| Union (_,_,cases) -> | Union (_,_,cases) ->
List.for_all (function Case { encoding = e} -> is_tup e) cases List.for_all (function Case { encoding = e} -> is_tup e) cases
| _ -> false in | _ -> false in