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

Typo

Browse Source
This commit is contained in:
Georges Dupéron 2019-04-01 13:47:03 +02:00
parent 5cf1dc7270
commit f81c9868f8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ligo/ast_typed.ml
View File

@ -339,7 +339,7 @@ let rec assert_value_eq (a, b: (value*value)) : unit result = match (a.expressio
| E_constant (ca, lsta), E_constant (cb, lstb) when ca = cb -> (
let%bind lst =
generic_try (simple_error "constants with different numbers of elements")
generic_try (simple_error "constants with different number of elements")
(fun () -> List.combine lsta lstb) in
let%bind _all = bind_list @@ List.map assert_value_eq lst in
ok ()
@ -360,7 +360,7 @@ let rec assert_value_eq (a, b: (value*value)) : unit result = match (a.expressio
| E_tuple lsta, E_tuple lstb -> (
let%bind lst =
generic_try (simple_error "tuples with different numbers of elements")
generic_try (simple_error "tuples with different number of elements")
(fun () -> List.combine lsta lstb) in
let%bind _all = bind_list @@ List.map assert_value_eq lst in
ok ()