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

Fix the inability to pattern match constructors

Browse Source
This commit is contained in:
Gaith Hallak 2023-04-08 13:20:43 +03:00
parent ccc6d98fe9
commit 39ccb44c86
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

@ -460,7 +460,7 @@ split_to_scode(Env, {split, {variant, Cons}, 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),
GetAlt = fun(I) -> GetAlt = fun(I) ->
case [{Xs, S} || {'case', {con, _, _, J, Xs}, S} <- Alts1, I == J] of case [{Xs, S} || {'case', {con, _, J, Xs}, S} <- Alts1, I == J] of
[] -> missing; [] -> missing;
[{Xs, S} | _] -> [{Xs, S} | _] ->
{Code, Env1} = match_variant(Env, Arg, Xs), {Code, Env1} = match_variant(Env, Arg, Xs),