From 45d0c5996af7a48838642a02cc60023afff03cf1 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Wed, 15 Mar 2023 10:21:59 +0300 Subject: [PATCH] Mark only included files as potentially unused --- src/aeso_ast_infer_types.erl | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl index 2184662..ac0ef42 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -3207,9 +3207,14 @@ when_warning(Warn, Do) -> %% Warnings (Unused includes) potential_unused_include(Ann, SrcFile) -> - case aeso_syntax:get_ann(file, Ann, no_file) of - no_file -> ok; - File -> ets_insert(warnings, {unused_include, File, SrcFile}) + IsIncluded = aeso_syntax:get_ann(include_type, Ann, none) =/= none, + case IsIncluded of + false -> ok; + true -> + case aeso_syntax:get_ann(file, Ann, no_file) of + no_file -> ok; + File -> ets_insert(warnings, {unused_include, File, SrcFile}) + end end. used_include(Ann) ->