From c943148d2d7e91478315fece0d0db57da0c093e2 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sun, 30 Jan 2022 17:11:17 +0400
Subject: [PATCH] Mark unused includes when used from non-included files

---
 src/aeso_ast_infer_types.erl | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index d7fd152..b03834e 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -375,7 +375,13 @@ lookup_env(Env, Kind, Ann, Name) ->
             case [ Res || QName <- Names, Res <- [lookup_env1(Env, Kind, Ann, QName)], Res /= false] of
                 []    -> false;
                 [Res = {_, {AnnR, _}}] ->
-                    when_warning(warn_unused_includes, fun() -> used_include(AnnR) end),
+                    when_warning(warn_unused_includes,
+                                 fun() ->
+                                         case proplists:get_value(include_type, Ann, none) of
+                                             none -> used_include(AnnR);
+                                             _    -> ok
+                                         end
+                                 end),
                     Res;
                 Many  ->
                     type_error({ambiguous_name, qid(Ann, Name), [{qid, A, Q} || {Q, {A, _}} <- Many]}),