From 24b9b9f5ce4542107e6b8dc53df4682de9c56f7b Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Mon, 1 Apr 2019 15:02:13 +0200 Subject: [PATCH] Forgot to patch simplify.ml to accept the new AST (for record types). --- src/ligo/simplify.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ligo/simplify.ml b/src/ligo/simplify.ml index 1076562bd..611b4d7b8 100644 --- a/src/ligo/simplify.ml +++ b/src/ligo/simplify.ml @@ -51,7 +51,7 @@ let rec simpl_type_expression (t:Raw.type_expr) : type_expression result = let%bind lst = bind_list @@ List.map aux @@ List.map (fun (x:Raw.field_decl Raw.reg) -> (x.value.field_name.value, x.value.field_type)) - @@ npseq_to_list r.value.field_decls in + @@ pseq_to_list r.value.elements in let m = List.fold_left (fun m (x, y) -> SMap.add x y m) SMap.empty lst in ok @@ T_record m | TSum s ->