From 9b9853cbfde4f6f33d636966e2c58577bbb7903f Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Fri, 26 May 2023 16:16:20 +0300 Subject: [PATCH] Fix pattern matching on fpat --- src/aeso_fcode_to_fate.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl index 97fb6b6..5c99d70 100644 --- a/src/aeso_fcode_to_fate.erl +++ b/src/aeso_fcode_to_fate.erl @@ -414,7 +414,7 @@ split_to_scode(Env, {nosplit, Renames, Expr}) -> split_to_scode(Env, {split, {tuple, _}, X, Alts}) -> {Def, Alts1} = catchall_to_scode(Env, X, Alts), Arg = lookup_var(Env, X), - Alt = case [ {Xs, Split} || {'case', {tuple, _, Xs}, Split} <- Alts1 ] of + Alt = case [ {Xs, Split} || {'case', {tuple, Xs}, Split} <- Alts1 ] of [] -> missing; [{Xs, S} | _] -> {Code, Env1} = match_tuple(Env, Arg, Xs),