From 20e57a29d40d9513b2337d7e2267f1f824de71ae Mon Sep 17 00:00:00 2001 From: Hans Svensson Date: Tue, 8 Aug 2023 13:43:31 +0200 Subject: [PATCH] Fix formatting of if_branches error --- src/aeso_ast_infer_types.erl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl index 8e46784..1170c33 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -4119,8 +4119,8 @@ pp_when({if_branches, Then, ThenType0, Else, ElseType0}) -> Branches = [ {Then, ThenType} | [ {B, ElseType} || B <- if_branches(Else) ] ], {pos(element(1, hd(Branches))), io_lib:format("when comparing the types of the if-branches\n" - "~s", [ [ io_lib:format("~s (at ~s)\n", [pp_typed(" - ", B, BType), pp_loc(B)]) - || {B, BType} <- Branches ] ])}; + "~s", [string:join([ io_lib:format("~s (at ~s)", [pp_typed(" - ", B, BType), pp_loc(B)]) + || {B, BType} <- Branches ], "\n")])}; pp_when({case_pat, Pat, PatType0, ExprType0}) -> {PatType, ExprType} = instantiate({PatType0, ExprType0}), {pos(Pat),