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

Fixing the constant constructors in CameLIGO's simplifier.

Browse Source
This commit is contained in:
Christian Rinderknecht 2019-12-24 18:56:21 +01:00
parent e99c9b32de
commit 7c1d637226
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes/2-simplify/cameligo.ml
View File

@ -224,7 +224,7 @@ let rec simpl_type_expression : Raw.type_expr -> type_expression result = fun te
and simpl_list_type_expression (lst:Raw.type_expr list) : type_expression result = and simpl_list_type_expression (lst:Raw.type_expr list) : type_expression result =
match lst with match lst with
| [] -> assert false | [] -> ok @@ t_unit
| [hd] -> simpl_type_expression hd | [hd] -> simpl_type_expression hd
| lst -> | lst ->
let%bind lst = bind_map_list simpl_type_expression lst in let%bind lst = bind_map_list simpl_type_expression lst in