From 7c1d6372263714bc67a232515a25e18d9288252f Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Tue, 24 Dec 2019 18:56:21 +0100 Subject: [PATCH] Fixing the constant constructors in CameLIGO's simplifier. --- src/passes/2-simplify/cameligo.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/passes/2-simplify/cameligo.ml b/src/passes/2-simplify/cameligo.ml index 2725bf952..e3fa702a4 100644 --- a/src/passes/2-simplify/cameligo.ml +++ b/src/passes/2-simplify/cameligo.ml @@ -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 = match lst with - | [] -> assert false + | [] -> ok @@ t_unit | [hd] -> simpl_type_expression hd | lst -> let%bind lst = bind_map_list simpl_type_expression lst in