From de34fc11222ab3f1a26dd46cc26b1d212c2f86f6 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Fri, 16 Dec 2022 17:51:09 +0300 Subject: [PATCH] Undo a mistake --- src/aeso_ast_infer_types.erl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl index 046e2aa..ff2a8ae 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -2267,12 +2267,13 @@ infer_pattern(Env, Pattern) -> {NewEnv#env{ in_pattern = Env#env.in_pattern }, NewPattern}. infer_case(Env = #env{ namespace = NS, current_function = FunId }, Attrs, Pattern, ExprType, GuardedBranches, SwitchType) -> + {NewEnv, NewPattern = {typed, _, _, PatType}} = infer_pattern(Env, Pattern), + %% Make sure we are inside a function before warning about potentially unused var [ when_warning(warn_unused_variables, fun() -> potential_unused_variables(NS, Fun, free_vars(Pattern)) end) || {id, _, Fun} <- [FunId] ], - {NewEnv, NewPattern = {typed, _, _, PatType}} = infer_pattern(Env, Pattern), InferGuardedBranches = fun({guarded, Ann, Guards, Branch}) -> NewGuards = lists:map(fun(Guard) -> check_expr(NewEnv#env{ in_guard = true }, Guard, {id, Attrs, "bool"})