From c7edb27fb0eeb8be2b6cd11d7a35eb83d966f94a Mon Sep 17 00:00:00 2001 From: Arnaud DABY-SEESARAM Date: Tue, 20 Dec 2022 14:04:50 +0100 Subject: [PATCH] [lustre_pp] fix a typing error --- src/lustre_pp.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/lustre_pp.ml b/src/lustre_pp.ml index c515449..01d5b0c 100644 --- a/src/lustre_pp.ml +++ b/src/lustre_pp.ml @@ -45,11 +45,12 @@ let pp_expression = let rec pp_expression_list prefix fmt exprs = match exprs with | ETuple([], []) -> () - | ETuple (_ :: tt, expr :: exprs) -> + | ETuple (typs, expr :: exprs) -> + let typ_h, typ_t = + Utils.list_select (List.length (Utils.type_exp expr)) typs in Format.fprintf fmt "%a%a" (pp_expression_aux (prefix^" |> ")) expr - (pp_expression_list prefix) (ETuple (tt, exprs)) - | ETuple ([], _) -> failwith "A non-empty tuple has no type!" + (pp_expression_list prefix) (ETuple (typ_t, exprs)) | ETuple (_, []) -> failwith "An empty tuple has a type!" | _ -> failwith "This exception should never occur." in