From f41e05928b9fed13cca664caae1c7ccba991da56 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Fri, 31 Mar 2023 19:48:49 +0300 Subject: [PATCH] Implement fsplit_pat_vars for assign --- src/aeso_ast_to_fcode.erl | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/src/aeso_ast_to_fcode.erl b/src/aeso_ast_to_fcode.erl index 9b441c7..86d6b35 100644 --- a/src/aeso_ast_to_fcode.erl +++ b/src/aeso_ast_to_fcode.erl @@ -1930,13 +1930,14 @@ pat_vars(Ps) when is_list(Ps) -> [X || P <- Ps, X <- pat_vars(P)]. -spec fsplit_pat_vars(fsplit_pat()) -> [var_name()]. fsplit_pat_vars({var, X}) -> [X || X /= "_"]; -fsplit_pat_vars({bool, _}) -> []; -fsplit_pat_vars({int, _}) -> []; -fsplit_pat_vars({string, _}) -> []; -fsplit_pat_vars(nil) -> []; -fsplit_pat_vars({'::', P, Q}) -> [P, Q]; +fsplit_pat_vars({bool, _}) -> []; +fsplit_pat_vars({int, _}) -> []; +fsplit_pat_vars({string, _}) -> []; +fsplit_pat_vars(nil) -> []; +fsplit_pat_vars({'::', P, Q}) -> [P, Q]; fsplit_pat_vars({tuple, Ps}) -> Ps; -fsplit_pat_vars({con, _, _, Ps}) -> Ps. +fsplit_pat_vars({con, _, _, Ps}) -> Ps; +fsplit_pat_vars({assign, X, P}) -> [X, P]. -spec free_vars(fexpr() | [fexpr()]) -> [var_name()]. free_vars(Xs) when is_list(Xs) ->