QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Fix pattern matching on fpat

Browse Source
This commit is contained in:
Gaith Hallak 2023-05-26 16:16:20 +03:00
parent 4c29750c3c
commit 9b9853cbfd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aeso_fcode_to_fate.erl
View File

@ -414,7 +414,7 @@ split_to_scode(Env, {nosplit, Renames, Expr}) ->
split_to_scode(Env, {split, {tuple, _}, X, Alts}) -> split_to_scode(Env, {split, {tuple, _}, X, Alts}) ->
{Def, Alts1} = catchall_to_scode(Env, X, Alts), {Def, Alts1} = catchall_to_scode(Env, X, Alts),
Arg = lookup_var(Env, X), 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; [] -> missing;
[{Xs, S} | _] -> [{Xs, S} | _] ->
{Code, Env1} = match_tuple(Env, Arg, Xs), {Code, Env1} = match_tuple(Env, Arg, Xs),